Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSetKołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, HoracioNetherlands: Springer Nature 2019Texto completo disponível |
2 |
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 |
3 |
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 |
4 |
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 |
5 |
Material Type: Livro
|
![]() |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla ; Ulidowski, Irek ; Ferreira, CarlaNetherlands: Springer Nature 2020Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part IBiere, Armin ; Parker, DavidCham: Springer International Publishing AG 2020Texto completo disponível |
7 |
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 |
8 |
Material Type: Livro
|
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part IIBiere, Armin ; Parker, DavidCham: Springer International Publishing AG 2020Texto completo disponível |
9 |
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 |
10 |
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 |