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.
AI Verification
AI Verification
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings
Bibliografische Angaben
September 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99990-1
Schlagworte
Bibliografische Angaben
September 2025, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99990-1
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
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23–26, 2025, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-032-01798-7
ca. 91.00 CHF
erscheint im Oktober
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-032-01805-2
ca. 91.00 CHF
erscheint im Oktober
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part III
Springer International Publishing, 2025
978-3-032-01822-9
ca. 91.00 CHF
erscheint im Oktober
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erscheint im Oktober
Constructive Approaches for Security Analysis and Design of Embedded Systems
First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-01404-7
ca. 102.00 CHF
erscheint im September
Financial Cryptography and Data Security. FC 2025 International Workshops
CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-032-00491-8
ca. 102.00 CHF
erscheint im September
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02137-3
ca. 102.00 CHF
erscheint im September
Computer Information Systems and Industrial Management
24th International Conference, CISIM 2025, Fukuoka, Japan, September 11–13, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02405-3
ca. 168.00 CHF
erscheint im September
Weitere Titel zum Thema
Reliability Assessment of Flow Networks and Industrial Systems
Bridging Theory and Applications
Elsevier, 2026
978-0-443-33883-0
ca. 259.00 CHF
erscheint im Januar
Humanizing Artificial Touch
Skin, Sensing, and Structures
Elsevier, 2026
978-0-323-95519-5
ca. 199.00 CHF
erscheint im Januar
NLP meets LLM
Neural Approaches to Context-based Conversational Question Answering
Taylor and Francis, 2026
978-1-032-97084-4
ca. 85.00 CHF
erscheint im Januar
On Digital Architecture in Ten Books
Vol. 3: Books VII–X
Birkhäuser Verlag, 2026
978-3-0356-2604-9
ca. 63.00 CHF
erscheint im April
Exploring Hardware Advances
FPGA, IoT, Microcontrollers, and Quantum Technologies
Elsevier, 2026
978-0-443-33148-0
ca. 259.00 CHF
erscheint im Februar
New Beginnings
Why Change Is Hard and How We Can Achieve It
Scribe, 2026
978-1-917189-29-3
ca. 26.90 CHF
erscheint im Februar
Algorithmic Capital
Resistance in the Age of Artificial Intelligence
Pan macmillan Ltd., 2026
978-1-80429-900-5
ca. 43.50 CHF
erscheint im Juni
KI und Social Media in der Kulturvermittlung
Eine Einführung
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48620-4
ca. 40.90 CHF
erscheint im Januar
ML and Generative AI in the Data Lakehouse
Building and Deploying AI Applications at Scale
O'Reilly, 2026
978-1-0981-7849-9
ca. 105.00 CHF
erscheint im Januar
Theoretical and Computational Fluid Mechanics
Existence, Blowup and Discrete Exterior Calculus Problems, Volume II
Taylor and Francis, 2026
978-1-032-98931-0
ca. 179.00 CHF
erscheint im Januar
Artificial Intelligence: Analytics, Platforms, and Risks
Springer International Publishing, 2026
978-3-031-64391-0
ca. 40.90 CHF
erscheint im Februar