skip to main content
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings

EUROCRYPT (2001 Innsbruck, Austria) Birgit Pfitzmann

Berlin Springer London c2001

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

2
Algebraic theory of processes
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic theory of processes

Matthew Hennessy

Cambridge, Mass MIT Press c1988

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

3
Algorithms and theory of computation handbook
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and theory of computation handbook

Mikhail J Atallah

Boca Raton CRC Press c1999

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

4
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers

AE '99 (1999 Dunkerque, France) Cyril Fonlupt

Berlin Springer London c2000

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

5
Artificial neural networks and neural information processing-ICANN/ICONIP 2003 joint international conference ICANN/ICINIP 2003, Istanbul, Turkey, June 26-29, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial neural networks and neural information processing-ICANN/ICONIP 2003 joint international conference ICANN/ICINIP 2003, Istanbul, Turkey, June 26-29, 2003 : proceedings

ICANN/ICONIP 2003 (2003 Istanbul, Turkey) Okyay Kaynak; International Conference on Artificial Neural Networks (2003 Istanbul, Turkey); International Conference on Neural Information Processing (2003 Istanbul, Turkey)

Berlin Springer New York c2003

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

6
Artificial neural networks ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial neural networks ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings

International Conference on Artificial Neural Networks (2001 Vienna, Austria) Georg Dorffner 1962-; Horst Bischof; Kurt Hornik 1963-

Berlin Springer London c2001

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

7
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

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

8
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings

International Colloquium on Automata, Languages, and Programming (27th 2000 Geneva, Switzerland) Emo Welzl; Ugo Montanari; José D. P Rolim

Berlin Springer London c2000

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

9
A basis for theoretical computer science
Material Type:
Livro
Adicionar ao Meu Espaço

A basis for theoretical computer science

Michael A. Arbib A. J Kfoury; Robert N Moll

New York Springer-Verlag c1981

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

10
Beauty is our business a birthday salute to Edsger W. Dijkstra
Material Type:
Livro
Adicionar ao Meu Espaço

Beauty is our business a birthday salute to Edsger W. Dijkstra

David Gries 1939-; W. H. J Feijen; A. J. M Gasteren (Antonetta J. M.) van 1952-; Jayadev Misra

New York Springer-Verlag c1990

Localização: IME - Inst. Matemática e Estatística    (QA816.C3 F297b )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Data de Publicação 

De até
  1. Antes de1984  (6)
  2. 1984Até1988  (14)
  3. 1989Até1993  (17)
  4. 1994Até2001  (54)
  5. Após 2001  (18)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.