Tools and Algorithms for the Construction and Analysis of Systems

International Standard ISO/IEC 8652:2023 (E)

International Standard ISO/IEC 8652:2023 (E)

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Kolkata, India, December 1, 2024, Proceedings, Part IV

Kolkata, India, December 1, 2024, Proceedings, Part V

Kolkata, India, December 1, 2024, Proceedings, Part III

Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part II

Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I

19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings

Der Einfluss des Computers auf die Wissenschaftsentwicklung

17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings

Implications for Human Rights, Security and Peace

23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers

Zur Soziologie einer vergessenen Vergesellschaftungsform

19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II

22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers