Compiler

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-031-94532-8

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-032-00941-8

7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Fachbuch2025SpringerISBN 978-3-032-01398-9

21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

Fachbuch2025SpringerISBN 978-3-032-06342-7

4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Fachbuch2025SpringerISBN 978-3-032-09086-7

25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-032-05434-0

18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-031-94705-6

Synchronization of Concurrent Processes

Fachbuch2., Second Edition 20252025SpringerISBN 978-3-662-70928-3

Progressive HTML Rendering and Micro Front-Ends

Fachbuch2025ApressISBN 9798868814822

Fachbuch2025SpringerISBN 9789819696338

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

Fachbuch2025SpringerISBN 9789819535842

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings

Fachbuch2025SpringerISBN 9789819542123

Fundamentals and Applications

Fachbuch2025SpringerISBN 978-3-031-84812-4

34th European Symposium on Programming, ESOP 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

Fachbuch2025SpringerISBN 978-3-031-91120-0

With Open Source and GenAI

Fachbuch2., Second Edition 20252025SpringerISBN 978-3-031-74317-7

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

Fachbuch2025SpringerISBN 978-3-031-74775-5

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

Fachbuch2026SpringerISBN 978-3-031-83734-0

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

Fachbuch2026SpringerISBN 978-3-031-83730-2

XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings

Fachbuch2025SpringerISBN 978-3-031-80606-3

Konzepte, Kommandos und Programmierung

Fachbuch2024Springer Berlin HeidelbergISBN 978-3-662-69196-0