skip to main content
previous page 1 2 Resultados 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Ciência Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
21
The nature of computation
Material Type:
Livro
Adicionar ao Meu Espaço

The nature of computation

Cristopher Moore Stephan Mertens

Oxford Oxford Univ. Press 2011

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

22
Material Type:
Livro
Adicionar ao Meu Espaço

Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986

Wilfried Brauer; Wolfgang Reisig

Berlin Springer 1987

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

23
Algorithmics the spirit of computing
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithmics the spirit of computing

David Harel 1950-

Wokingham, England Reading, Mass. Addison-Wesley c1987

Localização: EPBC - Esc. Politécnica-Bib Central    (510.51 H222a ) e outros locais(Acessar)

24
Algorithm theory - SWAT'96 proceedings [of the] 5th Scandinavian workshop on algorithms theory, held in Reykjavik, Iceland, july 3-5, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithm theory - SWAT'96 proceedings [of the] 5th Scandinavian workshop on algorithms theory, held in Reykjavik, Iceland, july 3-5, 1996

Scandinavian Workshop on Algorithm Theory (5. 1996 Reyklalvik, Is) R Karlsson; A Lingas

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer 1996

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

25
Advances in cryptology, CRYPTO'97 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in cryptology, CRYPTO'97 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedings

Annual International Cryptology Conference, CRYPTO'97 (17th 1997 Santa Barbara, California) Burton S Kaliski; International Association for Cryptologic Research; IEEE Computer Society Technical Committee on Security and Privacy; University of California, Santa Barbara Computer Science Dept

Berlin Springer New York c1997

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

26
Advances in cryptology, EUROCRYPT'97 International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in cryptology, EUROCRYPT'97 International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997 : proceedings

International Conference on Theory and Application of Cryptographic Techniques, EUROCRYPT'97 (15th 1997 Konstanz, Germany) Walter Fumy; International Association for Cryptologic Research

Berlin Springer New York c1997

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

27
Advances in cryptology, ASIACRYPT'98 International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in cryptology, ASIACRYPT'98 International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998 : proceedings

International Conference on the Theory and Application of Cryptology and Information Security (4th 1998 Beijing, China) Kazuo Ohta; Dingyi Pei

Berlin Springer New York c1998

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

28
Algorithm theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, july 8-10, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithm theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, july 8-10, 1998 : proceedings

Scandinavian Workshop on Algorithm Theory (6th 1998 Stockholm, Sweden) Stefan Arnborg; Lars Ivansson

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer New York c1998

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

29
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Material Type:
Livro
Adicionar ao Meu Espaço

Computabilidade, funções computáveis, lógica e os fundamentos da matemática

Walter Carnielli Richard L Epstein

São Paulo Editora da UNESP 2005

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

30
The golden ticket P, NP, and the search for the impossible
Material Type:
Livro
Adicionar ao Meu Espaço

The golden ticket P, NP, and the search for the impossible

Lance Fortnow 1963-

Princeton Princeton University Press 2013

Localização: IME - Inst. Matemática e Estatística    (QA714.4 F743g )(Acessar)

previous page 1 2 Resultados 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (40)
  2. Produções Acadêmicas  (3)
  3. Produções Técnicas  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1978  (8)
  2. 1978Até1987  (8)
  3. 1988Até1995  (5)
  4. 1996Até2005  (15)
  5. Após 2005  (7)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (31)
  2. Português  (12)
  3. Alemão  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.