1
Material Type:
Livro
Teoria da computação máquinas universais e computabilidade
Tiarajú Asmuz Diverio Paulo Blauth Menezes
Porto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(006 D618t 2.ed. e.5 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Introdução à teoria da computação
Michael Sipser Ruy José Guerra Barretto de Queiroz; Newton José Vieira
São Paulo Thomson Learning c2007
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.0151 S618i e.7 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Elementos de teoria da computação
Harry R Lewis Christos H Papadimitriou; Edson Furmankiewicz; Hemerson Pistori; João José Neto 1948-
Porto Alegre Bookman 2000
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.0151 L674e 2.ed. ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Elementos de teoria da computação
Harry R Lewis Christos H Papadimitriou; João José Neto 1948-
Porto Alegre Bookman 2004
Localização:
IME - Inst. Matemática e Estatística
(QA810 L674eP e.3 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]
ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Or.) ACM Special Interest Group for Algorithms and Computation Theory.
New York, N.Y. ACM Press ACM Order Dept., distributor 2000
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 32. ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Elementos de teoria da computação
Harry R Lewis Christos H Papadimitriou; Edson Furmankiewicz trad
Porto Alegre Bookman 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q01 L673et.2 e.2 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999
ACM Symposium on Theory of Computing (31st : 1999 : Atlanta, Ga.) ACM Special Interest Group for Algorithms and Computation Theory.
New York, N.Y. : ACM Press : ACM Order Dept., distributor 1999
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989r 31. ) (Acessar)
This feature requires javascript
8
Material Type:
Artigo de Congresso
Hitting all longest cycles in a graph
Cristina Gomes Fernandes 1966- Juan Gutierrez; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)
Anais São Paulo : Sociedade Brasileira de Computação, 2017
São Paulo Sociedade Brasileira de Computação 2017
Localização:
IME - Inst. Matemática e Estatística
(PROD-2855237 ) (Acessar)
This feature requires javascript
9
Material Type:
Artigo de Congresso
Número de Ramsey relativo a arestas de potências de caminhos
Dennis Clemens Matthew Jenssen; Yoshiharu Kohayakawa; Natasha Morrison; Guilherme Oliveira Mota; Damian Reding; Barnaby Roberts; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)
Anais São Paulo : Sociedade Brasileira de Computação, 2017
São Paulo Sociedade Brasileira de Computação 2017
Localização:
IME - Inst. Matemática e Estatística
(PROD-2855129 ) (Acessar)
This feature requires javascript
10
Material Type:
Relatório Técnico
Arguments in favor of a controlled plurality of office formating standards
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.7 ) e outros locais(Acessar)
This feature requires javascript