Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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, Yuqing ; Lu, Wei ; Wen, Qiaoyan ; Zhang, Yuqing ; Yan, Hanbing ; Zhou, Yu ; Li, Chao ; Ding, Li ; Lang, Bo ; Li, Ruiguang ; Wen, WeipingNetherlands: Springer Nature 2021Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
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, ProceedingsYoshida, Nobuko Yoshida, NobukoNetherlands: Springer Nature 2021Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, ProceedingsJmaiel, Mohamed ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, Hamdi ; Kallel, Slim Abdulrazak, Bessam ; Jmaiel, Mohamed ; Mokhtari, Mounir ; Aloulou, HamdiNetherlands: Springer Nature 2020Texto 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
|
![]() |
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 |
6 |
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 |
7 |
Material Type: Livro
|
![]() |
Security in Computer and Information Sciences: Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected PapersGelenbe, Erol ; Jankovic, Marija ; Kehagias, Dionysios ; Marton, Anna ; Vilmos, Andras Jankovic, Marija ; Kehagias, Dionysios ; Vilmos, Andras ; Marton, Anna ; Gelenbe, ErolCham: Springer Nature 2022Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
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, ProceedingsWehrheim, Heike ; Cabot, Jordi Wehrheim, Heike ; Cabot, JordiNetherlands: Springer Nature 2020Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
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, ProceedingsGuerra, Esther ; Stoelinga, Mariëlle Stoelinga, Mariëlle ; Guerra, EstherNetherlands: Springer Nature 2021Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computer Aided Verification Part II: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, ProceedingsShoham, Sharon ; Vizel, YakirSpringer 2022Texto completo disponível |