skip to main content
Mostrar Somente
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
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)

4
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)

5
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)

6
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)

7
Bio-inspired applications of connectionism 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001, proceedings, part II
Material Type:
Livro
Adicionar ao Meu Espaço

Bio-inspired applications of connectionism 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001, proceedings, part II

International Work-Conference on Artificial and Natural Neural Networks (6th 2001 Granada, Spain) J Mira (José); A Prieto (Alberto)

Berlin Springer London 2001

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

8
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings

Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); M Nivat; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

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

9
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

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

10
Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings

ICCS 2001 (2001 San Francisco, Calif.) Vassil Alexandrov 1962-

Berlin Springer New York c2001

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Buscando em bases de dados remotas. Favor aguardar.