Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Autorinnen/Autoren
Verlag
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Engineering Safe and Trustworthy Cyber Physical Systems
Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Bibliografische Angaben
August 2025, ca. 310 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-97536-3
Schlagworte
Bibliografische Angaben
August 2025, ca. 310 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-97536-3
Schlagworte
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. 103.00 CHF
erhältlich ab März 2026
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
erhältlich ab März 2026
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
erhältlich ab März 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98684-0
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-98678-9
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98667-3
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-98681-9
ca. 55.90 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98413-6
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-031-98461-7
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-98464-8
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98458-7
ca. 102.00 CHF
erhältlich ab August 2025
Weitere Titel zum Thema
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Cognitive Computing and Cyber Physical Systems
5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-77080-7
262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Optimization and Learning
7th International Conference, OLA 2024, Dubrovnik, Croatia, May 13–15, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-77940-4
104.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-74775-5
103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Consolidated 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. 103.00 CHF
erhältlich ab März 2026
Advanced Computing in Industrial Mathematics
17th Annual Meeting of the Bulgarian Section of SIAM, December 20–22, 2022, Sofia, Bulgaria, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-76785-2
238.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
erhältlich ab März 2026
Complex Analysis and Dynamics in One Variable with Applications
Springer International Publishing, 2025
978-3-031-64998-1
135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
AI: A Broad and a Different Perspective
Springer International Publishing, 2025
978-3-031-80599-8
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Reliability Analysis and Maintenance Optimization of Complex Systems
Essays in Honor of Professor Won Young Yun on his 65th Birthday
Springer International Publishing, 2025
978-3-031-70287-7
216.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9–10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80506-6
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen