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.
Rigorous State-Based Methods
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Bibliografische Angaben
August 2025, ca. 345 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-94532-8
Schlagworte
Bibliografische Angaben
August 2025, ca. 345 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-94532-8
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. 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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Architecture of Computing Systems
38th International Conference, ARCS 2025, Kiel, Germany, April 22–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-03280-5
ca. 91.00 CHF
erscheint im November
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erscheint im Oktober
Energy Informatics
First Nordic Conference, Nordic EIA 2025, Stockholm, Sweden, August 20–22, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-03100-6
ca. 188.00 CHF
erscheint im September
Energy Informatics
First Nordic Conference, Nordic EIA 2025, Stockholm, Sweden, August 20–22, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-032-03097-9
ca. 102.00 CHF
erscheint im September
Financial Cryptography and Data Security. FC 2025 International Workshops
CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-032-00494-9
ca. 102.00 CHF
erscheint im September
Knowledge-Enhanced Information Retrieval
Second International Workshop, KEIR 2025, Lucca, Italy, April 10, 2025, Revised Selected Papers
Springer International Publishing, 2025
978-3-032-02898-3
ca. 81.00 CHF
erscheint im September
Conceptual Knowledge Structures
Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-03363-5
ca. 168.00 CHF
erscheint im September
Electronic Government and the Information Systems Perspective
14th International Conference, EGOVIS 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02224-0
ca. 81.00 CHF
erscheint im September
Weitere Titel zum Thema
Business Process Management
Analysis, Modeling, Optimization, and Controlling of Processes
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49338-7
ca. 52.90 CHF
erscheint im März
Artificial Intelligence and Power in Government
Springer International Publishing, 2026
978-3-032-01892-2
ca. 188.00 CHF
erscheint im Januar
Künstliche Intelligenz im produzierenden Mittelstand
Grundlagen – Methoden – Fallstudien
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49274-8
ca. 55.90 CHF
erscheint im Januar
Handbuch Digitale Medien und Methoden
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-36624-7
ca. 159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Corporate Digital Transformation
Grundlagen, Prinzipien & Einführung des CODIT-Frameworks
Springer, 2026
978-3-662-71715-8
ca. 77.00 CHF
erscheint im Februar
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
Realität+
Virtuelle Welten und die Probleme der Philosophie
Suhrkamp, 2026
978-3-518-30075-6
ca. 35.90 CHF
erscheint im Februar
Praxis der Teleportation
Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48557-3
ca. 40.90 CHF
erscheint im Februar
KI-VO
Gesetz über künstliche Intelligenz. Kommentar
Beck, C H, 2026
978-3-406-79469-8
ca. 221.00 CHF
erscheint im März
Pro Oracle GoldenGate 23ai for the DBA
Powering the Foundation of Data Integration and AI
Springer EN, 2026
979-8-8688-0781-7
ca. 69.00 CHF
erscheint im Februar