Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Relatório Técnico
|
![]() |
The nondeterministic complexity of a finite automatonImre Simon 1943-2009Sao Paulo IME-USP 1987Localização: IME - Inst. Matemática e Estatística (IME-RT-MA QA700.RT I59 1987 v.3 e.2 ) e outros locais(Acessar) |
12 |
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. |
13 |
Material Type: Relatório Técnico
|
![]() |
A short proof of the factorization forest theoremImre Simon 1943-2009Sao Paulo IME-USP 1991Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1991 v.7 e.1 ) e outros locais(Acessar) |
14 |
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) |
15 |
Material Type: Livro
|
![]() |
Computational Algebraic Number TheoryMichael E. PohstBirkhäuser Basel 1993Acesso online. A biblioteca também possui exemplares impressos. |
16 |
Material Type: Relatório Técnico
|
![]() |
Achieving optimality for gate matrix layout and pla folding a graph theoretic approachAfonso Galvão Ferreira Siang Wun SongLyon Lip 1992Item não circula. Consulte sua biblioteca.(Acessar) |
17 |
Material Type: Artigo de Congresso
|
![]() |
Achieving optimality for gate matrix layout and pla folding a graph theoretical approachAfonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-825028 ) e outros locais(Acessar) |
18 |
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) |
19 |
Material Type: Livro
|
![]() |
Algorithms for Computer AlgebraKeith O. Geddes Stephen R Czapor; George Labahn; S. R Czapor; G LabahnSpringer US 1992Acesso online. A biblioteca também possui exemplares impressos. |
20 |
Material Type: Livro
|
![]() |
Turing Machines with Sublogarithmic SpaceAndrzej SzepietowskiSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |