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.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Bibliografische Angaben
September 2025, ca. 291 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-00941-8
Schlagworte
Bibliografische Angaben
September 2025, ca. 291 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-00941-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
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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erhältlich ab Dezember 2025
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
erhältlich ab Oktober 2025
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
erhältlich ab Oktober 2025
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
erhältlich ab Oktober 2025
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025
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
erhältlich ab September 2025
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
erhältlich ab September 2025
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
erhältlich ab September 2025
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
erhältlich ab September 2025
Weitere Titel zum Thema
AI for Public Relations
A How-To Guide for Implementation and Management
Kogan Page, 2026
978-1-3986-2505-1
ca. 159.00 CHF
erhältlich ab Mai 2026
NLP meets LLM
Neural Approaches to Context-based Conversational Question Answering
Taylor and Francis, 2026
978-1-032-97084-4
ca. 85.00 CHF
erhältlich ab Januar 2026
Computational Intelligence in Surveillance Systems Using Image Processing
Elsevier, 2026
978-0-443-36408-2
ca. 259.00 CHF
erhältlich ab Februar 2026
Embedded Systems in Automotive Applications
Elsevier, 2026
978-0-443-33861-8
ca. 299.00 CHF
erhältlich ab Januar 2026
Advanced Techniques for Modifying Metaheuristics
Methods and Applications
Elsevier, 2026
978-0-443-32972-2
ca. 235.00 CHF
erhältlich ab Januar 2026
Practical AI Governance
Building a Program for Strategy and Oversight
Kogan Page, 2026
978-1-3986-2622-5
ca. 159.00 CHF
erhältlich ab Mai 2026
The Year in Tech, 2026
The Insights You Need from Harvard Business Review
Ingram Publishers Services, 2026
979-8-89279-199-1
ca. 59.50 CHF
erhältlich ab Januar 2026
AI for People Professionals
Understand How to Use Artificial Intelligence in Your HR Role
Kogan Page, 2026
978-1-3986-2599-0
ca. 46.90 CHF
erhältlich ab Mai 2026
Applied Machine Learning in Chemical Process Engineering
A Practical Approach
Elsevier, 2026
978-0-443-33943-1
ca. 289.00 CHF
erhältlich ab Januar 2026
Humanizing Artificial Touch
Skin, Sensing, and Structures
Elsevier, 2026
978-0-323-95519-5
ca. 199.00 CHF
erhältlich ab Januar 2026
Securing AI Agents
Foundations, Frameworks, and Real-World Deployment
Springer International Publishing, 2026
978-3-032-02129-8
ca. 96.00 CHF
erhältlich ab Januar 2026