skip to main content
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: SpringerLink Fully Open Access Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 ; Lu, Wei ; Wen, Qiaoyan ; Zhang, Yuqing ; Yan, Hanbing ; Zhou, Yu ; Li, Chao ; Ding, Li ; Lang, Bo ; Li, Ruiguang ; Wen, Weiping

Netherlands: Springer Nature 2021

Texto completo disponível

2
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Yoshida, Nobuko Yoshida, Nobuko

Netherlands: Springer Nature 2021

Texto completo disponível

3
The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings

Jmaiel, Mohamed ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, Hamdi ; Kallel, Slim Abdulrazak, Bessam ; Jmaiel, Mohamed ; Mokhtari, Mounir ; Aloulou, Hamdi

Netherlands: Springer Nature 2020

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
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

6
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

7
Security in Computer and Information Sciences: Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Security in Computer and Information Sciences: Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected Papers

Gelenbe, Erol ; Jankovic, Marija ; Kehagias, Dionysios ; Marton, Anna ; Vilmos, Andras Jankovic, Marija ; Kehagias, Dionysios ; Vilmos, Andras ; Marton, Anna ; Gelenbe, Erol

Cham: Springer Nature 2022

Texto completo disponível

8
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Wehrheim, Heike ; Cabot, Jordi Wehrheim, Heike ; Cabot, Jordi

Netherlands: Springer Nature 2020

Texto completo disponível

9
Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Guerra, Esther ; Stoelinga, Mariëlle Stoelinga, Mariëlle ; Guerra, Esther

Netherlands: Springer Nature 2021

Texto completo disponível

10
Computer Aided Verification Part II: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification Part II: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings

Shoham, Sharon ; Vizel, Yakir

Springer 2022

Texto completo disponível

Resultados 1 2 3 next page

Buscando em bases de dados remotas. Favor aguardar.