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.
Language, Logic, and Computation
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
juillet 2019, env. 353 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer EN
978-3-662-59564-0
juillet 2019, env. 353 pages, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Anglais
Springer EN
978-3-662-59564-0
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
Data Makes the World Go 'Round
The Data, Tech, and Trust Behind AI Success
Wiley, 2026
978-1-394-39063-2
env. 52.50 CHF
paraît en février
Wie Data Science Unternehmen transformiert
Erkenntnisse aus dem Podcast Data Science mit Milch und Zucker
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48474-3
env. 114.00 CHF
paraît en avril
Digital Technology, Algorithmic Governance and Workplace Democracy
Interrogating the Nordic Model in Practice
Springer International Publishing, 2026
978-3-032-02753-5
env. 206.00 CHF
paraît en janvier
Advanced Manufacturing and Joining Technologies for Composite Materials
Elsevier, 2026
978-0-443-33364-4
env. 265.00 CHF
paraît en juin
Autonomous Vehicle Safety Solutions
Foundations, Technologies, and Prospects for the Future
Elsevier, 2026
978-0-443-33528-0
env. 239.00 CHF
paraît en janvier
Artificial Intelligence Act
Article-by-Article Commentary
Beck, C HHart Publishing, OxfordNomos Verlagsgesellschaft, Baden-Baden, 2026
978-3-406-79007-2
env. 278.00 CHF
paraît en février
AI for People Professionals
Understand How to Use Artificial Intelligence in Your HR Role
Kogan Page, 2026
978-1-3986-2601-0
env. 135.00 CHF
paraît en mai
Modern Technologies in Ergonomics and Workplace Safety
Taylor and Francis, 2026
978-1-041-13617-0
env. 149.00 CHF
paraît en janvier
Excel Power Tools
Unlocking the Power of AI, Python, and Power Automate
Wiley, 2026
978-1-394-28493-1
env. 69.00 CHF
paraît en septembre
Practical AI Governance
Building a Program for Strategy and Oversight
Kogan Page, 2026
978-1-3986-2620-1
env. 55.90 CHF
paraît en mai
Technologies in Palliative Care for Older People
Springer International Publishing, 2026
978-3-032-04276-7
env. 123.00 CHF
paraît en janvier