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
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Informations bibliographiques
mars 2026, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-83731-9
Mots-clés
Informations bibliographiques
mars 2026, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-83731-9
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 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
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
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
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-98739-7
env. 188.00 CHF
disponible dès août 2025
Autres titres sur ce thème
Quantum Computing
Principles and Paradigms
Elsevier, 2025
978-0-443-29096-1
env. 235.00 CHF
disponible dès juillet 2025
Consensus
Fueling Blockchain Innovation and DApp Expansion
Elsevier, 2026
978-0-443-40439-9
env. 235.00 CHF
disponible dès janvier 2026
Methods and Applications of Autonomous Experimentation
Taylor and Francis, 2025
978-1-03-241753-0
env. 85.00 CHF
disponible dès juillet 2025
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
Challenges and Solutions in Internet of Things-Based Smart Applications
Taylor and Francis, 2025
978-1-032-55657-4
240.00 CHF
livrable dans env. 10-20 jours
Probability for Deep Learning Quantum
A Many-Sorted Algebra View
Elsevier, 2025
978-0-443-24834-4
236.00 CHF
livrable dans env. 10-20 jours
Sustainable Electronics
The Future Ahead
Taylor and Francis, 2025
978-1-032-74484-1
env. 239.00 CHF
disponible dès juillet 2025
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
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Springer International Publishing, 2026
978-3-031-57294-4
env. 55.90 CHF
disponible dès février 2026
Current Trends in Web Engineering
ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-75109-7
84.00 CHF
livrable dans env. 20-45 jours
Decentralized Optimization in Networks
Algorithmic Efficiency and Privacy Preservation
Elsevier, 2025
978-0-443-33337-8
env. 173.00 CHF
disponible dès août 2025