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
Computer Aided Verification
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Bibliografische Angaben
August 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-98667-3
Schlagworte
Bibliografische Angaben
August 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-98667-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 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
Fusing The Application Of Radiation Imaging Technology With Ai: From Theory To ...
Ingram Publishers Services, 2026
978-981-1294-46-4
ca. 149.00 CHF
erhältlich ab Februar 2026
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82533-7
ca. 139.00 CHF
erhältlich ab Januar 2026
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
AI Art, Machine Learning and the Stakes for Art Criticism
Lund Humphries, 2026
978-1-84822-528-2
ca. 51.50 CHF
erhältlich ab März 2026
Mobile Intelligence for Autonomous Driving Systems
V2X, ITS & Telematics
978-1-394-34205-1
ca. 269.00 CHF
erhältlich ab März 2026
Artificial Intelligence And Quantum Dynamics For Memristor-system Computing
Ingram Publishers Services, 2026
978-981-1298-95-0
ca. 235.00 CHF
erhältlich ab März 2026
Medical Imaging Application in Health Assessment and Disease Management
Elsevier, 2026
978-0-443-28967-5
ca. 235.00 CHF
erhältlich ab Januar 2026
Nature-Inspired Computing
Bio-Inspired Algorithms
Taylor and Francis, 2026
978-1-4822-4480-9
ca. 225.00 CHF
erhältlich ab Januar 2026
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
ca. 146.00 CHF
erhältlich ab April 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
Decoding Explainable AI
Navigating Industry 4.0 and Anticipating Industry 5.0
Wiley, 2026
978-1-394-34220-4
ca. 269.00 CHF
erhältlich ab Mai 2026
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