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.
NASA Formal Methods
NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Informations bibliographiques
juin 2025, env. 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
Mots-clés
Informations bibliographiques
juin 2025, env. 442 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-93705-7
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
Wirtschaftsinformatik
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-49208-3
env. 65.00 CHF
paraît en janvier
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
Data and AI Skills
Gain the Confidence You Need to Succeed
Kogan Page, 2026
978-1-3986-2413-9
env. 38.50 CHF
paraît en mars
GenAI in Higher Education
Redefining Teaching and Learning
Bloomsbury, 2026
978-1-350-53578-7
env. 46.90 CHF
paraît en janvier
Challenges and Applications of Generative Large Language Models
Elsevier, 2026
978-0-443-33592-1
env. 235.00 CHF
paraît en janvier
MC Azure AI Fundamentals Study Guide
Exam AI-900
Wiley, 2026
978-1-394-35275-3
env. 69.00 CHF
paraît en janvier
Cybersecurity for Healthcare Systems in the Internet of Medical Things Era
Elsevier, 2026
978-0-443-27448-0
env. 235.00 CHF
paraît en janvier
Federated Learning for the Metaverse
Applications in Virtual Environments
Elsevier, 2026
978-0-443-33893-9
env. 235.00 CHF
paraît en janvier
The Technological Republic
Hard Power, Soft Belief, and the Future of the West
Vintage Books UK, 2026
978-1-5299-4540-9
env. 19.90 CHF
paraît en février
Medical Imaging Application in Health Assessment and Disease Management
Elsevier, 2026
978-0-443-28967-5
env. 235.00 CHF
paraît en janvier
Consensus
Fueling Blockchain Innovation and DApp Expansion
Elsevier, 2026
978-0-443-40439-9
env. 235.00 CHF
paraît en janvier
Robotics for Intervention in Healthcare
From Technology to Clinical Practice
Elsevier, 2026
978-0-443-21523-0
env. 225.00 CHF
paraît en mars