skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computabilidade E Complexidade remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical Foundations of Computer Science 1977
Mathematical Foundations of Computer Science 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1977

Gruska

Springer Berlin Heidelberg 1977

Acesso online. A biblioteca também possui exemplares impressos.

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 Cengage Learning 2011, c2007

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.0151 S618i 2013 e.4 ) e outros locais(Acessar)

3
Sistemas interativos de prova clássicos e quânticos
Sistemas interativos de prova clássicos e quânticos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sistemas interativos de prova clássicos e quânticos

Cardonha, Carlos Henrique

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11

Acesso online. A biblioteca também possui exemplares impressos.

4
Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings

J.-C. Raoult (Jean-Claude) Colloquium on trees in algebra and programming (17th 1992 Rennes)

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.581 e.1 ) e outros locais(Acessar)

5
Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988
Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988

Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej Scedrov

Berlin Springer 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.1429 ) e outros locais(Acessar)

6
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996

Colloquium on Trees in Algebra and Programming (21. 1996 Sinkoping, Se) Helene Kirchner; European Symposium on Programming (6. 1996 Linkoping, Se)

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1059 ) e outros locais(Acessar)

7
Reflexive structures an introduction to computability theory
Reflexive structures an introduction to computability theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Reflexive structures an introduction to computability theory

Luis E Sanchis

New York Springer-Verlag 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.05 S211r e.1 )(Acessar)

8
Trees in algebra and programming - caap'94 proceedings
Trees in algebra and programming - caap'94 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Trees in algebra and programming - caap'94 proceedings

Colloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)

Berlin Springer 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.787 ) e outros locais(Acessar)

9
Bornes pour les algorithmes de factorisation des polynomes
Bornes pour les algorithmes de factorisation des polynomes
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Bornes pour les algorithmes de factorisation des polynomes

Philippe Glesser Maurice Mignotte

1990

Localização: IME - Inst. Matemática e Estatística    (QA810.T G558b )(Acessar)

10
What can be computed? a practical guide to the theory of computation
What can be computed? a practical guide to the theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

What can be computed? a practical guide to the theory of computation

John MacCormick

Princeton Princeton University Press 2018

Localização: IME - Inst. Matemática e Estatística    (QA810 M131c )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (42)
  2. Produções Acadêmicas  (2)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (6)
  2. 1981Até1990  (13)
  3. 1991Até1996  (8)
  4. 1997Até2010  (13)
  5. Após 2010  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.