Compiler

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II

Fachbuch2026SpringerISBN 978-3-032-22722-5

12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings

Fachbuch2026SpringerISBN 978-3-032-26751-1

Fachbuch2026SpringerISBN 9789819696338

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

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

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

Fachbuch2025SpringerISBN 978-3-032-05434-0

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

18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings

Fachbuch2025SpringerISBN 978-3-032-01221-0

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments

Fachbuch2027SpringerISBN 978-3-031-83731-9

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments

Fachbuch2027SpringerISBN 978-3-031-83734-0

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments

Fachbuch2027SpringerISBN 978-3-031-83730-2

A Logic Building and Problem-solving Approach

2026Taylor & Francis LtdISBN 978-1-04-110957-0

A Logic Building and Problem-solving Approach

2026Taylor & Francis LtdISBN 978-1-04-111700-1

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

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 I

Fachbuch2025SpringerISBN 978-3-031-91117-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 II

Fachbuch2025SpringerISBN 978-3-031-91120-0