Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Energy Efficient Servers : Blueprints For Data Center OptimizationGough, Corey ; Steiner, Ian ; Saunders, Winston Cheng, Liqun ; Koomey, JonBerkeley, CA: Apress 2015Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected PapersLu, Wei ; Wen, Qiaoyan ; Zhang, Yuqing ; Lang, Bo ; Wen, Weiping ; Yan, Hanbing ; Li, Chao ; Ding, Li ; Li, Ruiguang ; Zhou, Yu Lu, Wei ; Lang, Bo ; Wen, Qiaoyan ; Zhang, YuqingNetherlands: Springer Nature 2021Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of ThingsMarwedel, PeterCham: Springer International Publishing AG 2021Texto completo disponível |
4 |
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 |
5 |
Material Type: Livro
|
![]() |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, CarlaNetherlands: Springer Nature 2020Texto completo disponível |
6 |
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 |
7 |
Material Type: Livro
|
![]() |
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, ProceedingsPanda, Dhabaleswar K ; Sullivan, Michael Sullivan, Michael ; Panda, Dhabaleswar KCham: Springer Nature 2022Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSetKołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, HoracioNetherlands: Springer Nature 2019Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, ProceedingsBlanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk Blanchette, Jasmin ; Pattinson, Dirk ; Kovács, LauraCham: Springer Nature 2022Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part IILahiri, Shuvendu K ; Wang, ChaoCham: Springer International Publishing AG 2020Texto completo disponível |