skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic Randomness and Complexity

Rodney G. Downey Denis R Hirschfeldt; Denis Roman Hirschfeldt

Springer New York 2010

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

2
Computability in analysis and physics
Computability in analysis and physics
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability in analysis and physics

Marian B. Pour-El 1928- (Marian Boykan) J. Ian Richards 1936- (Jonathan Ian)

Berlin Springer Verlag New York c1989

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

3
Enumerability, decidability, computability an introduction to the theory of recursive functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Enumerability, decidability, computability an introduction to the theory of recursive functions

Hans Hermes 1912-

Berlin New York Springer-Verlag 1965

Localização: IME - Inst. Matemática e Estatística    (QA10.3 H553aI ) e outros locais(Acessar)

4
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Cambridge Cambridge University Press 1987

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

5
Computation and automata
Computation and automata
Computation and automata
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation and automata

Arto Salomaa B Doran; Philippe Flajolet; M Ismail; T. Y Lam; E Lutwak; Gian-Carlo Rota; E Wutwak

Cambridge University Press 1985

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

6
Computability theory an introduction
Computability theory an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability theory an introduction

Neil D. Jones

New York Academic Press 1973

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA810 J78c e.2 ) e outros locais(Acessar)

7
Computability
Computability
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability

K. Weihrauch 1943- (Klaus)

Berlin Springer-Verlag New York c1987

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

8
Computability and logic
Computability and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and logic

George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002

Cambridge England University Press 1974

Localização: IME - Inst. Matemática e Estatística    (QA9 B724c ) e outros locais(Acessar)

9
Computability & unsolvability
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability & unsolvability

Martin Davis 1928-

New York McGraw-Hill 1958

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (517.5 D267c ) e outros locais(Acessar)

10
Representations of Discrete Functions
Representations of Discrete Functions
Representations of Discrete Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Representations of Discrete Functions

Tsutomu Fujita, Masahiro Sasao Masahira Fujita; Masahiro Fujita

Springer US 1996

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (358)
  2. Artigos  (307)
  3. Livros  (239)
  4. Anais de Congresso  (104)
  5. Dissertações  (20)
  6. Reports  (13)
  7. Recursos Textuais  (8)
  8. magazinearticle  (2)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (38)
  2. 1974Até1985  (47)
  3. 1986Até1997  (91)
  4. 1998Até2010  (415)
  5. Após 2010  (385)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (970)
  2. Japonês  (47)
  3. Francês  (42)
  4. Alemão  (13)
  5. Catalão  (4)
  6. Russo  (2)
  7. Espanhol  (2)
  8. Norueguês  (1)
  9. Chinês  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.