skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Teoria da computação máquinas universais e computabilidade
Teoria da computação máquinas universais e computabilidade
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

2
Introdução à teoria da computação
Introdução à teoria da computação
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

3
Elementos de teoria da computação
Elementos de teoria da computação
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

4
Elementos de teoria da computação
Elementos de teoria da computação
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

5
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

6
Elementos de teoria da computação
Elementos de teoria da computação
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

7
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

8
Hitting all longest cycles in a graph
Hitting all longest cycles in a graph
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

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)

9
Número de Ramsey relativo a arestas de potências de caminhos
Número de Ramsey relativo a arestas de potências de caminhos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

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)

10
Arguments in favor of a controlled plurality of office formating standards
Arguments in favor of a controlled plurality of office formating standards
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

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)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (829)
  2. Recursos Online (63)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (708)
  2. Artigos  (53)
  3. Produções Acadêmicas  (49)
  4. Produções Técnicas  (10)
  5. Revistas  (9)
  6. Outros  (1)
  7. Recursos Textuais  (1)
  8. Materiais Didáticos  (1)
  9. Audiovisuais  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1973  (55)
  2. 1973Até1984  (164)
  3. 1985Até1996  (319)
  4. 1997Até2009  (216)
  5. Após 2009  (78)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (719)
  2. Português  (97)
  3. Francês  (14)
  4. Alemão  (7)
  5. Indeterminado  (5)
  6. Espanhol  (3)
  7. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.