skip to main content
Resultados 1 2 3 4 5 next page
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
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
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.

3
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.

4
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

Springer US 1988

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

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

Symbolic Rewriting Techniques

John C. Constable, Robert Gallier, Jean Cherniavsky

Birkhäuser Basel 1998

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

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

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

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

9
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

Localização: EESC - Esc. Engenharia de São Carlos    (620.063 W927w 2015 )(Acessar)

10
World Congress on Engineering WCE 2018 : 6-6 July, 2018, Imperial College London, London, U.K
Material Type:
Áudio
Adicionar ao Meu Espaço

World Congress on Engineering WCE 2018 : 6-6 July, 2018, Imperial College London, London, U.K

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

Hong Kong Newswood Ltd International Association of Engineers 2018

Localização: EESC - Esc. Engenharia de São Carlos    (620.063 W927w 2018 CD-ROM )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (766)
  2. Anais de Congresso  (10)
  3. Audiovisuais  (9)
  4. Recursos Textuais  (9)
  5. Artigos  (7)
  6. Resenhas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1986  (16)
  2. 1986Até1993  (76)
  3. 1994Até2001  (251)
  4. 2002Até2010  (424)
  5. Após 2010  (28)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.