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: Livro
|
Recent Developments in Switching TheoryAmar MukhopadhyayAcademic Press 1971Acesso online. A biblioteca também possui exemplares impressos. |
|
13 |
Material Type: Livro
|
Clausal Theory of TypesD. A. WolframCambridge Cambridge University Press 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
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) |
|
15 |
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. |
|
16 |
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) |
|
17 |
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) |
|
18 |
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) |
|
19 |
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) |
|
20 |
Material Type: Artigo de Congresso
|
Memórias do WTA 2010 quarto workshop de tecnologia adaptativaRicardo Luis de Azevedo da Rocha 1960- Workshop de Tecnologia Adaptativa (4. 2010 São Paulo, Brasil)Workshop de Tecnologia Adaptativa São Paulo: s.n. , 2010São Paulo 2010Item não circula. Consulte sua biblioteca.(Acessar) |