skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mare-Wint : New Materials and Reliability in offshore Wind Turbine Technology
Material Type:
Livro
Adicionar ao Meu Espaço

Mare-Wint : New Materials and Reliability in offshore Wind Turbine Technology

Ostachowicz, Wiesław ; McGugan, Malcolm ; Schröder-Hinrichs, Jens-Uwe Schröder-Hinrichs, Jens-Uwe ; McGugan, Malcolm ; Luczak, Marcin ; Ostachowicz, Wiesław

Cham: Springer Open 2016

Texto completo disponível

2
The Price of Uncertainty in Present-Biased Planning
Material Type:
Livro
Adicionar ao Meu Espaço

The Price of Uncertainty in Present-Biased Planning

Kraft, Dennis ; Albers, Susanne

Web and Internet Economics, 2017, Vol.10660, p.325-339 [Periódico revisado por pares]

Switzerland: Springer Open

Texto completo disponível

3
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Bauer, Lujo ; Küsters, Ralf K'sters, Ralf ; Bauer, Lujo ; Küsters, Ralf

Cham: Springer Open 2018

Texto completo disponível

4
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

5
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

6
Telecommunication Economics: Selected Results of the COST Action IS0605
Material Type:
Livro
Adicionar ao Meu Espaço

Telecommunication Economics: Selected Results of the COST Action IS0605

Hadjiantonis, Antonis M ; Stiller, Burkhard

Cham: Springer Nature 2012

Texto completo disponível

7
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems

Ganchev, Ivan ; Garcia, Nuno M ; Dobre, Ciprian ; Mavromoustakis, Constandinos X ; Goleva, Rossitza Garcia, Nuno M ; Ganchev, Ivan ; Dobre, Ciprian ; Mavromoustakis, Constandinos X

Netherlands: Springer Nature 2019

Texto completo disponível

8
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Dillig, Isil ; Tasiran, Serdar

Cham: Springer International Publishing AG 2019

Texto completo disponível

9
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Dillig, Isil ; Tasiran, Serdar

Cham: Springer International Publishing AG 2019

Texto completo disponível

10
CyberParks - The Interface Between People, Places and Technology: New Approaches and Perspectives
Material Type:
Livro
Adicionar ao Meu Espaço

CyberParks - The Interface Between People, Places and Technology: New Approaches and Perspectives

Smaniotto Costa, Carlos ; Suklje Erjavec, Ina ; Kenna, Therese ; de Lange, Michiel ; Ioannidis, Konstantinos ; Maksymiuk, Gabriela ; de Waal, Martijn Smaniotto Costa, Carlos ; Šuklje Erjavec, Ina ; Kenna, Therese ; de Lange, Michiel

Netherlands: Springer Nature 2019

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

Data de Publicação 

De até
  1. Antes de2012  (1)
  2. 2012Até2013  (2)
  3. 2014Até2014  (2)
  4. 2015Até2016  (7)
  5. Após 2016  (22)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.