1
Autonomous Agents and Multiagent Systems. Best and Visionary Papers [E-Book] : AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers /
2
Requirements Engineering: Foundation for Software Quality [E-Book] : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings /
3
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
4
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III /
5
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /
6
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
7
Advances in Visual Informatics [E-Book] : 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings /
8
Fundamental Approaches to Software Engineering [E-Book] : 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, Proceedings /
9
Performance Engineering [E-Book] : Learning Through Applications Using JMT /
10
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
11
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
12
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
13
Services Computing - SCC 2023 [E-Book] : 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings /
14
Optimising NMR Spectroscopy Through Method and Software Development [E-Book] /
15
Advanced Parallel Processing Technologies [E-Book] : 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings /
16
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings /
17
Product-Focused Software Process Improvement [E-Book] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I /
18
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
19
Evolution of STEM-Driven Computer Science Education [E-Book] : The Perspective of Big Concepts /
20
Dependable Software Engineering. Theories, Tools, and Applications [E-Book] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings /