Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.377 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre, RS Sagra-Luzzato c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 D618t e.3 ) e outros locais(Acessar) |
|
3 |
Material Type: Relatório Técnico
|
Sobre a ordem de convergencia para as equacoes integrais de volterra de segunda especie tipo abel com solucoes nao suavesL S G Felipe Neide Maria Bertoldi FrancoSao Carlos Icmsc-Usp 1994Localização: ICMC - Inst. Ciên. Mat. Computação (NOTAS SCE N.14 F313s ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Fundamentals of Computation TheoryInternational Conference on Fundamentals of Computation Theory Lothar BudachSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000Localização: EACH - Esc. Artes, Ciências e Humanidades (006 D618t 2.ed. e.5 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Mathematical foundations of computer science proceedingsSymposium on Mathematical Foundations of ComputerScience, 4., Marianske Iazne, 1975 Jiri BecvarBerlin Springer 1975Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lncs v.32 ex.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Practical handbook of genetic algorithmsLance ChambersBoca Raton CRC Press c1995-c1999Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (510.51 P881 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Construção de um compiladorValdemar Waingort Setzer 1940- Ines S. Homem de MeloCampinas Imecc 1981Localização: EPBC - Esc. Politécnica-Bib Central (EPBCSe79c v.2 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Turing Machines with Sublogarithmic SpaceAndrzej SzepietowskiSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |