skip to main content
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: SpringerLink Fully Open Access Books remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Energy Efficient Servers : Blueprints For Data Center Optimization
Material Type:
Livro
Adicionar ao Meu Espaço

Energy Efficient Servers : Blueprints For Data Center Optimization

Gough, Corey ; Steiner, Ian ; Saunders, Winston Cheng, Liqun ; Koomey, Jon

Berkeley, CA: Apress 2015

Texto completo disponível

2
Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers

Lu, 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, Yuqing

Netherlands: Springer Nature 2021

Texto completo disponível

3
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Material Type:
Livro
Adicionar ao Meu Espaço

Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

Marwedel, Peter

Cham: Springer International Publishing AG 2021

Texto completo disponível

4
Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings

Aloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, Mounir Aloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, Mounir

Cham: Springer Nature 2022

Texto completo disponível

5
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Material Type:
Livro
Adicionar ao Meu Espaço

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla

Netherlands: Springer Nature 2020

Texto completo disponível

6
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

7
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings

Panda, Dhabaleswar K ; Sullivan, Michael Sullivan, Michael ; Panda, Dhabaleswar K

Cham: Springer Nature 2022

Texto completo disponível

8
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
Material Type:
Livro
Adicionar ao Meu Espaço

High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet

Kołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, Horacio

Netherlands: Springer Nature 2019

Texto completo disponível

9
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Blanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk Blanchette, Jasmin ; Pattinson, Dirk ; Kovács, Laura

Cham: Springer Nature 2022

Texto completo disponível

10
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Lahiri, Shuvendu K ; Wang, Chao

Cham: Springer International Publishing AG 2020

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2013  (2)
  2. 2013Até2014  (2)
  3. 2015Até2016  (3)
  4. 2017Até2019  (10)
  5. Após 2019  (13)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.