Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Completeness and Reduction in Algebraic Complexity TheoryBürgisser, PeterBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Introduction to computabilityFrederick C. Hennie (Frederick Clair)Reading, Mass. Addison-Wesley Pub. Co. c1977Localização: IME - Inst. Matemática e Estatística (QA810 H516i )(Acessar) |
3 |
Material Type: Livro
|
![]() |
The Universal turing machine a half-century surveyRolf HerkenHamburg Kammerer & Unverzagt 1988Localização: IME - Inst. Matemática e Estatística (QA810.C3 H548u )(Acessar) |
4 |
Material Type: Livro
|
![]() |
AutomataV. David Hopkin Barbara MossLondon Macmillan 1976Localização: IME - Inst. Matemática e Estatística (QA810 H793a )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computability theory an introductionNeil D. JonesNew York Academic Press 1973Localização: IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA810 J78c e.2 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Computability and decidability; an introduction for students of computer scienceJacques Loeckx 1931-Berlin New York Springer 1972Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 L825cd e.1 ) e outros locais(Acessar) |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Uma introdução técnica relativa às provas robustas checáveis probabilisticamenteMatsushigue, Claus AkiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1997-07-10Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
KomplexitätstheorieWolfgang J. Paul 1951-Stuttgart Teubner 1978Localização: IME - Inst. Matemática e Estatística (QA810 P324k )(Acessar) |
9 |
Material Type: Livro
|
![]() |
The annotated Turing a guided tour through Alan Turing's historic paper on computability and the Turing machineCharles Petzold 1953-Indianapolis, IN Wiley c2008Localização: IME - Inst. Matemática e Estatística (QA810 P513a )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Introduction to Circuit Complexity: A Uniform ApproachVollmer, HeribertBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |