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)

Data de Publicação 

De até
  1. Antes de1982  (5)
  2. 1982Até1986  (6)
  3. 1987Até1990  (13)
  4. 1991Até1997  (20)
  5. Após 1997  (30)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.