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.
Rigorous State-Based Methods
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Informations bibliographiques
août 2025, env. 345 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-94532-8
Mots-clés
Informations bibliographiques
août 2025, env. 345 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-94532-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
paraît en mars
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
paraît en mars
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
paraît en mars
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
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
env. 91.00 CHF
paraît en novembre
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
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
env. 188.00 CHF
paraît en septembre
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
env. 102.00 CHF
paraît en septembre
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
env. 102.00 CHF
paraît en septembre
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
env. 81.00 CHF
paraît en septembre
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
env. 168.00 CHF
paraît en septembre
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
env. 81.00 CHF
paraît en septembre
Autres titres sur ce thème
Realität+
Virtuelle Welten und die Probleme der Philosophie
Suhrkamp, 2026
978-3-518-30075-6
env. 35.90 CHF
paraît en février
Agentic Hyper-Personalized Dimensions
Six Dimensions of Business Dark Data
Springer EN, 2026
979-8-8688-1876-9
env. 83.00 CHF
paraît en janvier
KI-VO
Verordnung über Künstliche Intelligenz
Beck, C H, 2026
978-3-406-79167-3
env. 159.00 CHF
paraît en janvier
Digitalisierung und Innovation im Sport und in der Sportwissenschaft
Handbuch Sport und Sportwissenschaft
Springer, 2026
978-3-662-70474-5
env. 244.00 CHF
paraît en avril
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
paraît en mars
Business Process Management
Analysis, Modeling, Optimization, and Controlling of Processes
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49338-7
env. 52.90 CHF
paraît en mars
Quantenlogik
Eine Einführung für Ingenieure und Informatiker
Springer, 2026
978-3-662-71334-1
env. 65.00 CHF
paraît en janvier
Artificial Intelligence Act
Article-by-Article Commentary
NomosHart PublishingC.H.Beck, 2026
978-3-8487-8848-4
env. 289.00 CHF
paraît en mars
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink alt, 2026
978-3-8252-6288-4
env. 28.50 CHF
paraît en janvier
Künftige Informatik
Technologischer Um- und Ausbau der traditionellen Informatik als logische und praktische Konsequenz der Digitalisierung und Kognitivierung zukünftiger Lebenswelten
Springer, 2026
978-3-662-64759-2
env. 71.00 CHF
livrable dans env. 20-45 jours
Information Structure and Discourse in Generative Grammar
Mechanisms and Processes
De Gruyter, 2026
978-1-5015-2076-1
env. 178.00 CHF
paraît en janvier
Künstliche Intelligenz im produzierenden Mittelstand
Grundlagen – Methoden – Fallstudien
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49274-8
env. 55.90 CHF
paraît en janvier