Compiler
12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26751-1
19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, June 29–July 3, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-29729-7
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 I
Fachbuch2026SpringerISBN 978-3-032-22719-5
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
Calvaresi / Najjar / Omicini / Aydogan / Carli / Ciatto / Tiribelli / Främling
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems
7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers
Fachbuch2025SpringerISBN 978-3-032-01398-9
Yan / Klemm / De Supinski / Saule / Klinkenberg / Pophale
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
Taft / Duff / Brukardt / Ploedereder / Leroy / Schonberg / Cousins / Baird
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments
Fachbuch2027SpringerISBN 978-3-031-83731-9
Taft / Duff / Brukardt / Ploedereder / Leroy / Schonberg / Cousins / Baird
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments
Fachbuch2027SpringerISBN 978-3-031-83734-0
Taft / Duff / Brukardt / Ploedereder / Leroy / Schonberg / Cousins / Baird
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments
Fachbuch2027SpringerISBN 978-3-031-83730-2
Jagtap / Shingan
A Logic Building and Problem-solving Approach
2026Taylor & Francis LtdISBN 978-1-04-111700-1
Jagtap / Shingan
A Logic Building and Problem-solving Approach
2026Taylor & Francis LtdISBN 978-1-04-110957-0
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-94532-8
Remke / Steffen
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-032-00941-8
Staub / Singla
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
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
Konzepte, Kommandos und Programmierung
Fachbuch2024SpringerISBN 978-3-662-69196-0
17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings
Fachbuch2024SpringerISBN 978-3-031-64284-5
Bonfanti / Gargantini / Leuschel / Riccobene / Scandurra
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Fachbuch2024SpringerISBN 978-3-031-63789-6
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

