Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
Rearrangement of DNA fragments a branch and cut algorithmCarlos Eduardo Ferreira C. C Souza; Yoshiko WakabayashiSao Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.1 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Complexidade de detecção de procedimentos recursivosRouto Terada Colóquio Brasileiro de Matemática (14. 1983 Poços de Caldas)Atas Rio de Janeiro : Impa, 1985Rio de Janeiro Impa 1985Localização: IME - Inst. Matemática e Estatística (PROD-765990 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Versao finita do metodo CFACarlos Humes Júnior Simposio Brasileiro de Redes de Computadores (7. 1989 Porto Alegre)Anais Porto Alegre : Sbc, 1989Porto Alegre Sbc 1989Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Principios de computacaoPeter CalingaertRio de Janeiro Ao Livro Tecnico 1969Localização: IQSC - Inst. Química de São Carlos (001.64 C129p ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
StarOffice 5.1 guia prático de demonstração e desenvolvimento em portuguesJose Augusto Navarro Garcia ManzanoSão Paulo Érica c1999Localização: IME - Inst. Matemática e Estatística (QA712 M296s 2.ed. ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Fundamentos da ciência da computaçãoBehrouz Forouzan Firouz MosharrafSão Paulo Cengage Learning 2011Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (004 F727f ) e outros locais(Acessar) |
|
7 |
Material Type: Revista
|
INFOCOMP journal of computer science = revista de ciências da computaçãoUniversidade Federal de LavrasLavras A Universidade 2002-Localização: EACH - Esc. Artes, Ciências e Humanidades e outros locais(Acessar) |
|
8 |
Material Type: Relatório Técnico
|
Sharing resource-sensitive knowledge using combinator logicsMarcelo Finger Wamberto Weber Miranda Peixoto de VasconcelosSão Paulo IME-USP 2000Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2000 v.01 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Revista
|
Journal of Automated ReasoningNETHERLANDS HybridAcesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Revista
|
|