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 IV
Bibliografische Angaben
August 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-98684-0
Schlagworte
Bibliografische Angaben
August 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-98684-0
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 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
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
How to Build an End to End Business Continuity Program
Taylor and Francis, 2026
978-1-4987-9712-2
ca. 85.00 CHF
erhältlich ab Januar 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
Quantum Information Processing with Light
Taylor and Francis, 2026
978-1-4665-8399-3
ca. 309.00 CHF
erhältlich ab Januar 2026
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
ca. 46.90 CHF
erhältlich ab Januar 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
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
Minds, Machines, and Misinformation
Decoding Bias, Algorithms, and Trust
Elsevier, 2026
978-0-443-16104-9
ca. 189.00 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
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
How to See Like a Machine
Art in the Age of AI
Pan macmillan Ltd., 2026
978-1-83674-216-6
ca. 35.50 CHF
erhältlich ab Mai 2026