Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Mare-Wint : New Materials and Reliability in offshore Wind Turbine TechnologyOstachowicz, Wiesław ; McGugan, Malcolm ; Schröder-Hinrichs, Jens-Uwe Schröder-Hinrichs, Jens-Uwe ; McGugan, Malcolm ; Luczak, Marcin ; Ostachowicz, WiesławCham: Springer Open 2016Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
The Price of Uncertainty in Present-Biased PlanningKraft, Dennis ; Albers, SusanneWeb and Internet Economics, 2017, Vol.10660, p.325-339 [Periódico revisado por pares]Switzerland: Springer OpenTexto completo disponível |
3 |
Material Type: Livro
|
![]() |
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, ProceedingsBauer, Lujo ; Küsters, Ralf K'sters, Ralf ; Bauer, Lujo ; Küsters, RalfCham: Springer Open 2018Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
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 IBeyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, DirkCham: Springer Nature 2018Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
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 IIBeyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, DirkCham: Springer Nature 2018Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Telecommunication Economics: Selected Results of the COST Action IS0605Hadjiantonis, Antonis M ; Stiller, BurkhardCham: Springer Nature 2012Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Enhanced Living Environments: Algorithms, Architectures, Platforms, and SystemsGanchev, Ivan ; Garcia, Nuno M ; Dobre, Ciprian ; Mavromoustakis, Constandinos X ; Goleva, Rossitza Garcia, Nuno M ; Ganchev, Ivan ; Dobre, Ciprian ; Mavromoustakis, Constandinos XNetherlands: Springer Nature 2019Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IIDillig, Isil ; Tasiran, SerdarCham: Springer International Publishing AG 2019Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IDillig, Isil ; Tasiran, SerdarCham: Springer International Publishing AG 2019Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
CyberParks - The Interface Between People, Places and Technology: New Approaches and PerspectivesSmaniotto 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, MichielNetherlands: Springer Nature 2019Texto completo disponível |