Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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) |
|
12 |
Material Type: Artigo de Congresso
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
|
13 |
Material Type: Relatório Técnico
|
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contextoCésar Alberto Bravo Pariente João José Neto 1948-São Paulo EPUSP 2005Item não circula. Consulte sua biblioteca.(Acessar) |
|
14 |
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. |
|
15 |
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) |
|
16 |
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) |
|
17 |
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) |
|
18 |
Material Type: Livro
|
Computational Algebraic Number TheoryMichael E. PohstBirkhäuser Basel 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
19 |
Material Type: Livro
|
Programação orientada para objeto em c++ no ambiente WindowsA F Granero José de Oliveira SiqueiraSão Paulo Atlas 1995Item não circula. Consulte sua biblioteca.(Acessar) |
|
20 |
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) |