Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
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
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2024 Collocated ...
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Informations bibliographiques
juillet 2025, env. 289 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-94747-6
Mots-clés
Informations bibliographiques
juillet 2025, env. 289 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-94747-6
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. 103.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
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98413-6
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-031-98461-7
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-98464-8
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98458-7
env. 102.00 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-98684-0
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-98678-9
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-98667-3
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-98681-9
env. 55.90 CHF
disponible dès août 2025
Autres titres sur ce thème
Powerful, Profitable Software Products
The Executive Guidebook
Taylor and Francis, 2025
978-1-032-46670-5
196.00 CHF
livrable dans env. 10-20 jours
Mastering Prompt Engineering
Deep Insights for Optimizing Large Language Models (LLMs)
Elsevier, 2025
978-0-443-33904-2
env. 235.00 CHF
disponible dès août 2025
Digital Personality: A Man Forever
Volume 3: Ontologies to Dialogue Generation
Taylor and Francis, 2025
978-1-032-86097-8
209.00 CHF
livrable dans env. 10-20 jours
The Garbage Collection Handbook
The Art of Automatic Memory Management
Taylor and Francis, 2026
978-1-03-223178-5
env. 75.00 CHF
disponible dès février 2026
The Computer Always Wins
A Playful Introduction to Algorithms through Puzzles and Strategy Games
MIT Press, 2025
978-0-262-55169-4
37.50 CHF
disponible de suite
The Pragmatic Programmer for Machine Learning
Engineering Analytics and Data Science Solutions
Taylor and Francis, 2025
978-0-367-25506-0
76.00 CHF
livrable dans env. 10-20 jours
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
env. 392.00 CHF
disponible dès mars 2026
Operating System Design
The Xinu Approach
Taylor and Francis, 2025
978-1-032-98099-7
135.00 CHF
livrable dans env. 10-20 jours
Computer-Aided Diagnosis (CAD) Tools and Applications for 3D Medical Imaging: ...
Elsevier, 2025
978-0-323-98857-5
206.00 CHF
livrable dans env. 10-20 jours
Emerging Trends in Computer Science and Its Application
Taylor and Francis, 2025
978-1-032-99901-2
86.00 CHF
livrable dans env. 10-20 jours
Gateway Routing Selection Schemes for Post-Disaster Recovery in Mobile Ad Hoc ...
Taylor and Francis, 2025
978-1-032-70054-0
80.00 CHF
livrable dans env. 10-20 jours
Consolidated 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. 103.00 CHF
disponible dès mars 2026