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.
Software Engineering and Formal Methods
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Informations bibliographiques
novembre 2024, env. 462 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-77381-5
Sommaire
Mots-clés
Informations bibliographiques
novembre 2024, env. 462 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-77381-5
Sommaire
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
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
paraît en octobre
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
paraît en octobre
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
paraît en octobre
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
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
paraît en septembre
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
paraît en septembre
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
paraît en septembre
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
paraît en septembre
Autres titres sur ce thème
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
env. 195.00 CHF
livrable dans env. 10-20 jours
KI-VO
Verordnung über Künstliche Intelligenz
Beck, C H, 2026
978-3-406-79167-3
env. 159.00 CHF
paraît en janvier
Python Practice Lab
Learn How to Code through Interactive Examples
University Presses, 2026
978-0-691-24360-3
env. 43.50 CHF
paraît en mars
Machine Learning and Big Data-enabled Biotechnology
Wiley-VCH, 2026
978-3-527-35474-0
env. 178.00 CHF
paraît en février
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
env. 168.00 CHF
paraît en janvier
KI-VO
Gesetz über künstliche Intelligenz. Kommentar
Beck, C H, 2026
978-3-406-79469-8
env. 221.00 CHF
paraît en mars
Artificial Intelligence and Power in Government
Springer International Publishing, 2026
978-3-032-01892-2
env. 188.00 CHF
paraît en janvier
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
env. 69.00 CHF
paraît en avril
Web Programming with PHP and MySQL
A Practical Guide
Springer International Publishing, 2026
978-3-032-02036-9
env. 76.00 CHF
paraît en janvier
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
392.00 CHF
Pas encore paru.
Postartifizielle Literatur
Lesen im Zeitalter künstlicher Intelligenz
Suhrkamp, 2026
978-3-518-12826-8
env. 22.90 CHF
paraît en janvier
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