skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Stickel, Mark E Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

2
3D Structure from Images — SMILE 2000: Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

3D Structure from Images — SMILE 2000: Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers

Pollefeys, Marc ; Gool, Luc Van ; Zisserman, Andrew ; Fitzgibbon, Andrew Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

3
3D Structure from Multiple Images of Large-Scale Environments: European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

3D Structure from Multiple Images of Large-Scale Environments: European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings

Koch, Reinhard ; Gool, Luc Van Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

4
5th Conference on Optimization Techniques Part I
Material Type:
Livro
Adicionar ao Meu Espaço

5th Conference on Optimization Techniques Part I

Conti, R ; Ruberti, A Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1973

Texto completo disponível

5
5th Conference on Optimization Techniques Part II
Material Type:
Livro
Adicionar ao Meu Espaço

5th Conference on Optimization Techniques Part II

Conti, R ; Ruberti, A Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1973

Texto completo disponível

6
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
Material Type:
Livro
Adicionar ao Meu Espaço

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

Loveland, D. W Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1982

Texto completo disponível

7
7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

Shostak, R. E Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

New York, NY: Springer New York 1984

Texto completo disponível

8
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

9
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings

Lusk, Ewing ; Overbeek, Ross Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

10
A Calculus of Communicating Systems
Material Type:
Livro
Adicionar ao Meu Espaço

A Calculus of Communicating Systems

Milner, Robin Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (3.305)
  2. Dissertações  (16)
  3. Revistas  (6)
  4. Artigos  (3)
  5. Audiovisuais  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1977  (45)
  2. 1977Até1986  (195)
  3. 1987Até1996  (807)
  4. 1997Até2007  (2.256)
  5. Após 2007  (28)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.308)
  2. Alemão  (34)
  3. Italiano  (2)
  4. Francês  (2)
  5. Russo  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.