Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, ProceedingsAbramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, DavidNetherlands: Springer Nature 2019Texto completo disponível |
|
2 |
Material Type: Livro
|
Future Space-Transport-System Components under High Thermal and Mechanical Loads: Results from the DFG Collaborative Research Center TRR40Adams, Nikolaus A ; Schröder, Wolfgang ; Radespiel, Rolf ; Haidn, Oskar J ; Sattelmayer, Thomas ; Stemmer, Christian ; Weigand, Bernhard Radespiel, Rolf ; Adams, Nikolaus A ; Haidn, Oskar J ; Schröder, WolfgangNetherlands: Springer Nature 2020Texto completo disponível |
|
3 |
Material Type: Livro
|
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, ProceedingsAhmed, Amal Ahmed, AmalCham: Springer Open 2018Texto completo disponível |
|
4 |
Material Type: Livro
|
Advances in Assessment and Modeling of Earthquake LossAkkar, Sinan ; Ilki, Alper ; Goksu, Caglar ; Erdik, Mustafa Ilki, Alper ; Akkar, Sinan ; Goksu, Caglar ; Erdik, MustafaSpringer Nature 2021Texto completo disponível |
|
5 |
Material Type: Livro
|
Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, ProceedingsAloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, Mounir Aloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, MounirCham: Springer Nature 2022Texto completo disponível |
|
6 |
Material Type: Livro
|
Rethinking Sustainability Towards a Regenerative EconomyAndreucci, Maria Beatrice ; Marvuglia, Antonino ; Baltov, Milen ; Hansen, Preben Marvuglia, Antonino ; Hansen, Preben ; Andreucci, Maria Beatrice ; Baltov, Milen ; Hansen, Preben ; Andreucci, Maria Beatrice ; Marvuglia, Antonino ; Baltov, MilenSpringer Nature 2021Texto completo disponível |
|
7 |
Material Type: Livro
|
Technological Imagination in the Green and Digital TransitionArbizzani, Eugenio ; Cangelli, Eliana ; Clemente, Carola ; Cumo, Fabrizio ; Giofrè, Francesca ; Giovenale, Anna Maria ; Palme, Massimo ; Paris, Spartaco Giovenale, Anna Maria ; Arbizzani, Eugenio ; Paris, Spartaco ; Palme, Massimo ; Cumo, Fabrizio ; Giofrè, Francesca ; Clemente, Carola ; Cangelli, ElianaCham: Springer Nature 2023Texto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Java Pathfinder at SV-COMP 2019 (Competition Contribution)Artho, Cyrille ; Visser, W.25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Periódico revisado por pares]Texto completo disponível |
|
9 |
Material Type: Livro
|
Security of Ubiquitous Computing Systems: Selected TopicsAvoine, Gildas ; Hernandez-Castro, Julio Hernandez-Castro, Julio ; Avoine, GildasCham: Springer Nature 2021Texto completo disponível |
|
10 |
Material Type: Livro
|
Assessment of Energy-Efficient Building Details for Seismic RegionsAzinović, Boris ; Kilar, Vojko ; Koren, DavidCham: Springer Nature 2022Texto completo disponível |