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
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Bibliografische Angaben
März 2026, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-83731-9
Schlagworte
Bibliografische Angaben
März 2026, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-83731-9
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 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
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-98739-7
ca. 188.00 CHF
erhältlich ab August 2025
Weitere Titel zum Thema
Powerful, Profitable Software Products
The Executive Guidebook
Taylor and Francis, 2025
978-1-032-46670-5
196.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Current Trends in Web Engineering
ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-75109-7
84.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Emerging Trends in Computer Science and Its Application
Taylor and Francis, 2025
978-1-032-99901-2
86.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Garbage Collection Handbook
The Art of Automatic Memory Management
Taylor and Francis, 2026
978-1-03-223178-5
ca. 75.00 CHF
erhältlich ab Februar 2026
Intelligent Systems of Computing and Informatics in Sustainable Urban ...
Taylor and Francis, 2025
978-1-032-84921-8
ca. 79.00 CHF
erhältlich ab Juli 2025
The Computer Always Wins
A Playful Introduction to Algorithms through Puzzles and Strategy Games
MIT Press, 2025
978-0-262-55169-4
37.50 CHF
sofort lieferbar
Probability for Deep Learning Quantum
A Many-Sorted Algebra View
Elsevier, 2025
978-0-443-24834-4
236.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Mastering Prompt Engineering
Deep Insights for Optimizing Large Language Models (LLMs)
Elsevier, 2025
978-0-443-33904-2
ca. 235.00 CHF
erhältlich ab August 2025
Embedded Systems in Automotive Applications
Elsevier, 2026
978-0-443-33861-8
ca. 299.00 CHF
erhältlich ab Januar 2026
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Springer International Publishing, 2026
978-3-031-57294-4
ca. 55.90 CHF
erhältlich ab Februar 2026
Post-Quantum Cryptography Algorithms and Approaches for IoT and Blockchain ...
Elsevier, 2025
978-0-323-91478-9
206.00 CHF
lieferbar in ca. 10-20 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