skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99 Zurich, Switzerland, October 11-13, 1999 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99 Zurich, Switzerland, October 11-13, 1999 Proceedings

Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard

Berlin/Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

2
21st century learning for 21st century skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18 - 21, 2012. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

21st century learning for 21st century skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18 - 21, 2012. Proceedings

Ravenscroft, Andrew ; Lindstaedt, Stefanie ; Kloos, Carlos Delgado ; Hernández-Leo, Davinia Kloos, Carlos Delgado ; Lindstaedt, Stefanie ; Ravenscroft, Andrew ; Hernández-Leo, Davinia

Berlin, Heidelberg: Springer 2012

Texto completo disponível

3
3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation
Material Type:
Livro
Adicionar ao Meu Espaço

3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation

Ioannides, Marinos ; Quak, Ewald Ioannides, Marinos ; Quak, Ewald

Berlin, Heidelberg: Springer Nature 2014

Texto completo disponível

4
3D Research Challenges in Cultural Heritage II: How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage
Material Type:
Livro
Adicionar ao Meu Espaço

3D Research Challenges in Cultural Heritage II: How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage

Münster, Sander ; Pfarr-Harfst, Mieke ; Kuroczyński, Piotr ; Ioannides, Marinos Kuroczyński, Piotr ; M'nster, Sander ; Ioannides, Marinos ; Pfarr-Harfst, Mieke

Cham: Springer Nature 2016

Texto completo disponível

5
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 ; van Leeuwen, Jan Van Gool, Luc ; Koch, Reinhard

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

6
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Material Type:
Livro
Adicionar ao Meu Espaço

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Bibel, Wolfgang ; Kowalski, Robert Bibel, Wolfgang ; Kowalski, Robert

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

7
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 Loveland, D. W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1982

Texto completo disponível

8
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Bjøorner, Dines Bjøorner, Dines

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

9
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos Mashkoor, Atif ; Biro, Miklos ; Butler, Michael ; Schewe, Klaus-Dieter

Cham: Springer Nature 2016

Texto completo disponível

10
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Ait Ameur, Yamine ; Schewe, Klaus-Dieter Schewe, Klaus-Dieter ; Ait Ameur, Yamine

Netherlands: Springer Nature 2014

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.231)

Data de Publicação 

De até
  1. Antes de1985  (40)
  2. 1985Até1993  (67)
  3. 1994Até2002  (912)
  4. 2003Até2013  (2.121)
  5. Após 2013  (1.285)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (1)
  2. Japonês  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.