Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Trends in Functional Programming
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Herausgegeben von:Gibbons, Jeremy
Oktober 2025, ca. 525 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99750-1
Oktober 2025, ca. 525 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99750-1
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigenConsolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83730-2
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Electronic Voting
10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05035-9
ca. 55.90 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part IX
Springer International Publishing, 2025
978-3-032-05113-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VIII
Springer International Publishing, 2025
978-3-032-04983-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-032-04946-9
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04926-1
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-032-04970-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VII
Springer International Publishing, 2025
978-3-032-04980-3
ca. 112.00 CHF
erscheint im November
Weitere Titel zum Thema
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
ca. 102.00 CHF
erscheint im März
Operating Systems / Betriebssysteme
Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-48059-2
ca. 53.50 CHF
lieferbar in ca. 20-45 Arbeitstagen
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-87216-7
ca. 147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Julian Perry Robinson: Pioneer in the Prohibition of Chemical and Biological ...
Springer International Publishing, 2026
978-3-032-04063-3
ca. 168.00 CHF
erscheint im Januar
Smart Multimedia
4th International Conference, ICSM 2024, Los Angeles, California, USA, March 28–30, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-82474-6
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Enterprise Design, Operations, and Computing
28th International Conference, EDOC 2024, Vienna, Austria, September 10–13, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-78337-1
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Data Science
20th International Conference, ICDATA 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
Springer International Publishing, 2025
978-3-031-85855-0
ca. 117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Formal Methods, Informally
How to Write Programs That Work
Cambridge Academic, 2026
978-1-009-42102-7
ca. 65.00 CHF
erscheint im Januar
Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and ...
25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 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
Springer International Publishing, 2025
978-3-031-85922-9
ca. 117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Introduction to Microelectronics Advanced Packaging Assurance
Springer International Publishing, 2025
978-3-031-86101-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen