Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Domaines
Étudier le droit
Publications
Littérature
Bases de données
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Auteurs
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Informations bibliographiques
juillet 2025, env. 209 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-95496-2
Mots-clés
Informations bibliographiques
juillet 2025, env. 209 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-95496-2
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutAda 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83730-2
103.00 CHF
livrable dans env. 20-45 jours
Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83731-9
env. 102.00 CHF
disponible dès mars 2026
Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83734-0
env. 102.00 CHF
disponible dès mars 2026
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation
MICCAI Challenge, FLARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
978-3-031-96201-1
env. 91.00 CHF
disponible dès août 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-95760-4
env. 168.00 CHF
disponible dès juillet 2025
Artificial Intelligence in Medicine
23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-95837-3
env. 188.00 CHF
disponible dès juillet 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-95763-5
env. 168.00 CHF
disponible dès juillet 2025
Applied Cryptography and Network Security
23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-95766-6
env. 168.00 CHF
disponible dès juillet 2025
Artificial Intelligence in Medicine
23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-95840-3
env. 168.00 CHF
disponible dès juillet 2025
Integration of Constraint Programming, Artificial Intelligence, and Operations ...
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-95975-2
env. 91.00 CHF
disponible dès juillet 2025
Integration of Constraint Programming, Artificial Intelligence, and Operations ...
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-95972-1
env. 91.00 CHF
disponible dès juillet 2025
Autres titres sur ce thème
Safer Agentic AI
Principles and Responsible Practices
Kogan Page, 2026
978-1-3986-2543-3
env. 55.90 CHF
disponible dès janvier 2026
Artificially Intelligent Sensing
Advances and Applications
De Gruyter, 2026
978-3-11-079509-7
env. 205.00 CHF
disponible dès février 2026
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink, 2026
978-3-8252-6288-4
env. 28.50 CHF
disponible dès janvier 2026
Postartifizielle Literatur
Lesen im Zeitalter künstlicher Intelligenz
Suhrkamp, 2026
978-3-518-12826-8
env. 22.90 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
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 392.00 CHF
disponible dès mars 2026
Intelligente Verfahren
Identifikation und Regelung nichtlinearer Systeme
Springer, 2026
978-3-662-59768-2
env. 138.00 CHF
disponible dès mars 2026
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
env. 235.00 CHF
disponible dès mars 2026
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
env. 69.00 CHF
disponible dès avril 2026
Artificial Intelligence Act
Article-by-Article Commentary
NomosHart PublishingC.H.Beck, 2026
978-3-8487-8848-4
env. 289.00 CHF
disponible dès janvier 2026
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83730-2
103.00 CHF
livrable dans env. 20-45 jours
Global Digital Divides in the COVID-19 Era
Purposeful Use of the Internet and Technologies
De Gruyter, 2026
978-3-11-079377-2
env. 127.00 CHF
disponible dès janvier 2026