skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: SpringerLink Fully Open Access Books remover Base de dados/Biblioteca: SpringerOpen 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
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

Citações Citado por
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
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

Citações Citado por
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
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

Citações Citado por
4
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
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

Citações Citado por
5
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
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

Citações Citado por
6
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

Abramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, David

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
7
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Tasiran, Serdar ; Dillig, Isil

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
8
Machine Learning for Cyber Physical Systems: Selected Papers from the International Conference ML4CPS 2018
Machine Learning for Cyber Physical Systems: Selected Papers from the International Conference ML4CPS 2018
Material Type:
Livro 		Adicionar ao Meu Espaço

Machine Learning for Cyber Physical Systems: Selected Papers from the International Conference ML4CPS 2018

Beyerer, Jurgen ; Kuhnert, Christian ; Niggemann, Oliver

Springer Nature 2018

Texto completo disponível

Citações Citado por
9
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Dillig, Isil ; Tasiran, Serdar Tasiran, Serdar ; Dillig, Isil

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.