Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Informations bibliographiques
septembre 2025, env. 291 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
Mots-clés
Informations bibliographiques
septembre 2025, env. 291 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated 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
env. 102.00 CHF
disponible dès mars 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
env. 102.00 CHF
disponible dès mars 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
env. 102.00 CHF
disponible dès mars 2026
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
disponible dès décembre 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
env. 91.00 CHF
disponible dès octobre 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
env. 91.00 CHF
disponible dès octobre 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
env. 91.00 CHF
disponible dès octobre 2025
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 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
env. 102.00 CHF
disponible dès septembre 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
env. 102.00 CHF
disponible dès septembre 2025
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02137-3
env. 102.00 CHF
disponible dès septembre 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
env. 168.00 CHF
disponible dès septembre 2025
Autres titres sur ce thème
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink alt, 2026
978-3-8252-6288-4
env. 28.50 CHF
disponible dès janvier 2026
Obsolete
Power, Profit, And The Race For Machine Superintelligence
Ingram Publishers Services, 2026
978-1-68219-630-4
env. 26.90 CHF
disponible dès avril 2026
Transforming Industries, Empowering Societies
A Comprehensive Examination of Industry 5.0 and Society 5.0
978-0-443-32878-7
env. 235.00 CHF
disponible dès janvier 2026
Learning-Driven Game Theory for AI
Concepts, Models, and Applications
Elsevier, 2026
978-0-443-43852-3
env. 235.00 CHF
disponible dès février 2026
Securing AI Agents
Foundations, Frameworks, and Real-World Deployment
Springer International Publishing, 2026
978-3-032-02129-8
env. 96.00 CHF
disponible dès janvier 2026
Algorithmic Capital
Resistance in the Age of Artificial Intelligence
Pan macmillan Ltd., 2026
978-1-80429-900-5
env. 43.50 CHF
disponible dès juin 2026
Handbook of Nature Inspired Algorithms
Models and Applications
978-1-394-16644-2
270.00 CHF
livrable dans env. 10-20 jours
I Think We Should Kill Other People
The funniest serial killer thriller full of twists and turns you'll read all year
Bloomsbury, 2026
978-1-0359-2076-1
env. 18.50 CHF
disponible dès avril 2026
AI for Public Relations
A How-To Guide for Implementation and Management
Kogan Page, 2026
978-1-3986-2505-1
env. 159.00 CHF
disponible dès mai 2026
Minds, Machines, and Misinformation
Decoding Bias, Algorithms, and Trust
Elsevier, 2026
978-0-443-16104-9
env. 189.00 CHF
disponible dès mars 2026
AI for People Professionals
Understand How to Use Artificial Intelligence in Your HR Role
Kogan Page, 2026
978-1-3986-2601-0
env. 135.00 CHF
disponible dès mai 2026
Humanizing Artificial Touch
Skin, Sensing, and Structures
Elsevier, 2026
978-0-323-95519-5
env. 199.00 CHF
disponible dès janvier 2026