Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2011, c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i 2011 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2022Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 S618i 34839 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Thomson Learning c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i e.7 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Elementos de teoria da computaçãoHarry R Lewis Christos H Papadimitriou; Edson Furmankiewicz; Hemerson Pistori; João José Neto 1948-Porto Alegre Bookman 2000Localização: EACH - Esc. Artes, Ciências e Humanidades (004.0151 L674e 2.ed. ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Elementos de teoria da computaçãoHarry R Lewis Christos H Papadimitriou; Edson Furmankiewicz tradPorto Alegre Bookman 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 L673et.2 e.2 ) e outros locais(Acessar) |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Sistemas interativos de prova clássicos e quânticosCardonha, Carlos HenriqueBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Trees in algebra and programming - caap'94 proceedingsColloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)Berlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.787 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
What can be computed? a practical guide to the theory of computationJohn MacCormickPrinceton Princeton University Press 2018Localização: IME - Inst. Matemática e Estatística (QA810 M131c )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Reflexive structures an introduction to computability theoryLuis E SanchisNew York Springer-Verlag 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 S211r e.1 )(Acessar) |