skip to main content
previous page 1 2 Resultados 3 4 5 next page
Mostrar solo
Refinado por: materia: Ciência Da Computação eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
21
The nature of computation
Material Type:
Libro
Añadir a Mi Portal

The nature of computation

Cristopher Moore Stephan Mertens

Oxford Oxford Univ. Press 2011

Disponible en IME - Inst. Matemática e Estatística    (QA810 M821n e.2 ) y otras localizaciones(Obténgalo)

22
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.255 v.2 ) y otras localizaciones(Obténgalo)

23
Algorithmics the spirit of computing
Material Type:
Libro
Añadir a Mi Portal

Algorithmics the spirit of computing

David Harel 1950-

Wokingham, England Reading, Mass. Addison-Wesley c1987

Disponible en EPBC - Esc. Politécnica-Bib Central    (510.51 H222a ) y otras localizaciones(Obténgalo)

24
Algorithm theory - SWAT'96 proceedings [of the] 5th Scandinavian workshop on algorithms theory, held in Reykjavik, Iceland, july 3-5, 1996
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1097 e.1 ) y otras localizaciones(Obténgalo)

25
Advances in cryptology, CRYPTO'97 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1294 ) y otras localizaciones(Obténgalo)

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:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1233 ) y otras localizaciones(Obténgalo)

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:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1514 ) y otras localizaciones(Obténgalo)

28
Algorithm theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, july 8-10, 1998 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1432 ) y otras localizaciones(Obténgalo)

29
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68Q20.05 C289co e.1 ) y otras localizaciones(Obténgalo)

30
The golden ticket P, NP, and the search for the impossible
Material Type:
Libro
Añadir a Mi Portal

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

Lance Fortnow 1963-

Princeton Princeton University Press 2013

Disponible en IME - Inst. Matemática e Estatística    (QA714.4 F743g )(Obténgalo)

previous page 1 2 Resultados 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (2)

Refinar mis resultados

Tipo de Recurso 

  1. Libros  (40)
  2. Producciones Académicas  (3)
  3. Producciones Técnicas  (2)
  4. Más opciones open sub menu

Fecha de Publicación 

De Hasta
  1. Antes de1978  (8)
  2. 1978Hasta1987  (8)
  3. 1988Hasta1995  (5)
  4. 1996Hasta2005  (15)
  5. Después de 2005  (7)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (31)
  2. Portugués  (12)
  3. Alemán  (1)
  4. Más opciones open sub menu

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora