Compiler

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

Fachbuch2025SpringerISBN 978-3-032-01398-9

4th International Joint Conference on Learning and Reasoning, 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

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

Fachbuch2025SpringerISBN 978-3-032-06342-7

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

Fachbuch2025SpringerISBN 978-3-032-05434-0

32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-032-07105-7

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

Fachbuch2025SpringerISBN 978-3-032-00941-8

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

Fachbuch2025SpringerISBN 978-3-031-94532-8

Fachbuch2026SpringerISBN 9789819696338

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

Fachbuch2025SpringerISBN 9789819542123

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

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

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 I

Fachbuch2025SpringerISBN 978-3-031-91117-0

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-83731-9

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

Fachbuch2026SpringerISBN 978-3-031-83730-2

6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Fachbuch2025SpringerISBN 9789819679553

Band 4: Codeerzeugung und maschinennahe Optimierung

20202019Springer VerlagISBN 978-3-642-10355-1

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

Fachbuch2025SpringerISBN 978-3-031-74775-5