Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Livro
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part IShoham, Sharon ; Vizel, Yakir Shoham, Sharon ; Vizel, YakirCham: Springer Nature 2022Texto completo disponível |
|
3 |
Material Type: Livro
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part IIShoham, Sharon ; Vizel, Yakir Shoham, Sharon ; Vizel, YakirCham: Springer Nature 2022Texto completo disponível |
|
4 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, ProceedingsBeyer, Dirk ; Cavalcanti, Ana Cavalcanti, Ana ; Beyer, DirkCham: Springer Nature 2024Texto 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
|
The Once-Only Principle: The TOOP ProjectKrimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon Mamrot, Szymon ; Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon ; Prentza, AndrianaNetherlands: Springer Nature 2021Texto completo disponível |
|
7 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, ProceedingsJohnsen, Einar Broch ; Wimmer, Manuel Wimmer, Manuel ; Johnsen, Einar BrochCham: Springer Nature 2022Texto completo disponível |
|
8 |
Material Type: Livro
|
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and ToolsKołodziej, Joanna ; Repetto, Matteo ; Duzha, Armend Duzha, Armend ; Kołodziej, Joanna ; Repetto, Matteo ; Repetto, Matteo ; Duzha, Armend ; Kołodziej, JoannaCham: Springer Nature 2022Texto completo disponível |
|
9 |
Material Type: Livro
|
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, ProceedingsAhmed, Amal Ahmed, AmalCham: Springer Open 2018Texto completo disponível |
|
10 |
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 |