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.
Trends in Functional Programming
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Publié par:Gibbons, Jeremy
octobre 2025, env. 525 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-99750-1
octobre 2025, env. 525 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-99750-1
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
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Electronic Voting
10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05035-9
env. 55.90 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part IX
Springer International Publishing, 2025
978-3-032-05113-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VIII
Springer International Publishing, 2025
978-3-032-04983-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-032-04946-9
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04926-1
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-032-04970-4
env. 112.00 CHF
paraît en novembre
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VII
Springer International Publishing, 2025
978-3-032-04980-3
env. 112.00 CHF
paraît en novembre
Autres titres sur ce thème
Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-90896-5
env. 56.90 CHF
livrable dans env. 20-45 jours
Event-Driven Ansible
Taking Your Automation to the Next Level
Springer EN, 2026
979-8-8688-1200-2
env. 83.00 CHF
paraît en février
Advanced Network Technologies and Computational Intelligence
First International Conference, ICANTCI 2024, Punjab, India, April 5–6, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-86071-3
env. 84.00 CHF
livrable dans env. 20-45 jours
Number Theory
Multiplicative and Additive with Factorization and Primality Testing
De Gruyter, 2025
978-3-11-157867-5
env. 121.00 CHF
paraît en août
CMOS Plasma and Process Damage
Springer International Publishing, 2025
978-3-031-89028-4
env. 169.00 CHF
livrable dans env. 20-45 jours
Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and ...
25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-85922-9
env. 117.00 CHF
livrable dans env. 20-45 jours
Introduction to Microelectronics Advanced Packaging Assurance
Springer International Publishing, 2025
978-3-031-86101-7
env. 70.00 CHF
livrable dans env. 20-45 jours
Data Science
20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-85855-0
env. 117.00 CHF
livrable dans env. 20-45 jours
Formal Methods, Informally
How to Write Programs That Work
Cambridge Academic, 2026
978-1-009-42099-0
env. 109.00 CHF
paraît en janvier
Generative AI-Driven Application Development with Java
Leveraging Large Language Models in Modern Java Applications
Springer EN, 2026
979-8-8688-1608-6
env. 52.90 CHF
paraît en janvier
Smart Multimedia
4th International Conference, ICSM 2024, Los Angeles, California, USA, March 28–30, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-82474-6
env. 92.00 CHF
livrable dans env. 20-45 jours
Fully Actuated System Approach
Volume I. Global Fully Actuated Systems
Springer EN, 2026
978-981-9683-94-9
env. 69.00 CHF
paraît en février