skip to main content
Idioma:
Resultados 1 2 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
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)

2
Mathematics for the analysis of algorithms
Mathematics for the analysis of algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics for the analysis of algorithms

Daniel H. Greene 1955- Donald Ervin Knuth 1938-

Boston Birkhäuser 1990

Localização: IF - Instituto de Física    (005.1 G799m 3.ed ) e outros locais(Acessar)

3
Feasible mathematics a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Feasible mathematics a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Feasible mathematics a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Samuel R Buss; Phillip J Scott; Cornell University Mathematical Sciences Institute; Workshop on Feasible Mathematics (1989 Cornell University)

Boston Birkhäuser 1990

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.9 )(Acessar)

4
Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness
Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness
Material Type:
Livro 		Adicionar ao Meu Espaço

Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness

Igor E. Shparlinski

Basel Birkhäuser Verlag Boston c2003

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.22 )(Acessar)

5
Handbook of theoretical computer science
Handbook of theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of theoretical computer science

J. van Leeuwen (Jan)

Amsterdam New York Elsevier Cambridge, Mass. MIT Press 1990

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 L519h v.B ) e outros locais(Acessar)

6
Computability, complexity, and languages fundamentals of theoretical computer science
Computability, complexity, and languages fundamentals of theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability, complexity, and languages fundamentals of theoretical computer science

Martin Davis 1928- Ron Sigal; Elaine J Weyuker

Boston Academic Press, Harcourt, Brace 1994

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.52 D295c ) e outros locais(Acessar)

7
Computability theory, semantics, and logic programming
Computability theory, semantics, and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability theory, semantics, and logic programming

Melvin Chris Fitting 1942-

New York Oxford University Press Oxford Clarendon 1987

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

8
Boolean models and methods in mathematics, computer science, and engineering
Boolean models and methods in mathematics, computer science, and engineering
Boolean models and methods in mathematics, computer science, and engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Boolean models and methods in mathematics, computer science, and engineering

Yves Hammer, Peter L. Crama Yves Crama; P. L Hammer; Peter L Hammer Peter L. Hammer

Cambridge University Press 2010

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

9
Logic and computational complexity International workshop LCC'94, Indianapolis, in, USA, october 13-16, 1994, selected papers
Logic and computational complexity International workshop LCC'94, Indianapolis, in, USA, october 13-16, 1994, selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and computational complexity International workshop LCC'94, Indianapolis, in, USA, october 13-16, 1994, selected papers

Workshop on Logic and Computational Complexity (1994 Indianapolis, Us) Daniel Maurice Raphael Leivant

Berlin Springer 1995

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

10
Computation theory and logic
Computation theory and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation theory and logic

E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1987

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (18)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (3)
  2. 1990Até1994  (7)
  3. 1995Até1997  (4)
  4. 1998Até2003  (3)
  5. Após 2003  (2)
  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.