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.
Informations bibliographiques
décembre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-01669-0
Mots-clés
Informations bibliographiques
décembre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-01669-0
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
env. 103.00 CHF
paraît en décembre
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04847-9
env. 81.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-032-04626-0
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-032-04623-9
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-032-04629-1
env. 188.00 CHF
paraît en novembre
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04699-4
env. 102.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-032-04616-1
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04613-0
env. 273.00 CHF
paraît en novembre
Artificial Neural Networks and Machine Learning – ICANN 2025
34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9–12, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04557-7
env. 102.00 CHF
paraît en octobre
Autres titres sur ce thème
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
env. 104.00 CHF
livrable dans env. 20-45 jours
Implementation and Application of Automata
29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-02601-9
env. 91.00 CHF
paraît en septembre
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
env. 103.00 CHF
paraît en janvier
Institution-independent Model Theory
Springer International Publishing, 2025
978-3-031-68853-9
env. 179.00 CHF
livrable dans env. 20-45 jours
Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 27–October 3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04166-1
env. 55.90 CHF
paraît en octobre
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Springer, 2025
978-3-662-70824-8
env. 49.90 CHF
paraît en septembre
Rigorous Software Development
An Introduction to Program Verification
Springer EN, 2025
978-1-4471-7557-5
env. 146.00 CHF
paraît en octobre
Einführung in das mathematische Denken
Ein kompakter Vorkurs
Springer, 2025
978-3-662-71588-8
env. 27.90 CHF
paraît en novembre
Multi-Agent Systems
21st European Conference, EUMAS 2024, Dublin, Ireland, August 26–28, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-93929-7
env. 189.00 CHF
livrable dans env. 20-45 jours
Causal Discovery
Foundations, Algorithms and Applications
Springer International Publishing, 2025
978-3-031-98344-3
env. 116.00 CHF
paraît en septembre
Human and Artificial Rationalities. Advances in Cognition, Computation, and ...
Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-84594-9
env. 103.00 CHF
livrable dans env. 20-45 jours
Fuzzy Mathematics
A Fundamental Introduction
Springer International Publishing, 2025
978-3-031-73833-3
env. 56.90 CHF
livrable dans env. 20-45 jours