skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

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

2
Advanced Neural Computers
Advanced Neural Computers
Advanced Neural Computers
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced Neural Computers

R. Eckmiller

North-Holland 1990

Acesso online. A biblioteca também possui exemplares impressos.

3
Database and Expert Systems Applications
Database and Expert Systems Applications
Database and Expert Systems Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Database and Expert Systems Applications

Database and Expert Systems Applications Conference

Springer Berlin Heidelberg 1993

Acesso online. A biblioteca também possui exemplares impressos.

4
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

5
Database Machines and Knowledge Base Machines
Database Machines and Knowledge Base Machines
Database Machines and Knowledge Base Machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Database Machines and Knowledge Base Machines

Masaru Tanaka, Hidehiko Kitsuregawa Hidehiko Tanaka

Springer US 1988

Acesso online. A biblioteca também possui exemplares impressos.

6
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Rewriting Techniques

John C. Constable, Robert Gallier, Jean Cherniavsky Robert Constable; Jean Gallier; Johannes Grabmeier; Volker Weispfenning

Birkhäuser Basel 1998

Acesso online. A biblioteca também possui exemplares impressos.

7
Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings

COCOON '97 (1997 Shanghai, China) Tao Jiang; D. T Lee

Berlin Springer New York c1997

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

8
Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings

COCOON '98 (1998 Taipei, Taiwan) Wen-Lian Hsu; Ming-Yang Kao

Berlin Springer New York c1998

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

9
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings

International Workshop WG (25th 1999 Ascona, Switzerland) Peter Widmayer; Gabriele Neyer; Stephan Eidenbenz

Berlin Springer New York c1999

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

10
World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K
World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K
Material Type:
Livro 		Adicionar ao Meu Espaço

World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K

World Congress on Engineering (2015 : London) S. I Ao; International Association of Engineers

Hong Kong Newswood Ltd International Association of Engineers 2015

Item não circula. Consulte sua biblioteca.(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (757)
  2. Recursos Online (142)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (763)
  2. Audiovisuais  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (16)
  2. 1986Até1993  (71)
  3. 1994Até2001  (249)
  4. 2002Até2010  (420)
  5. Após 2010  (10)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (763)
  2. Espanhol  (3)
  3. Português  (2)
  4. Alemão  (2)
  5. Russo  (1)
  6. Francês  (1)
  7. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.