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.
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Informations bibliographiques
novembre 2025, env. 194 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-04847-9
Mots-clés
Informations bibliographiques
novembre 2025, env. 194 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-04847-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. 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
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
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04586-7
env. 91.00 CHF
paraît en octobre
Autres titres sur ce thème
A Concise Introduction to Software Engineering
With Open Source and GenAI
Springer EN, 2025
978-3-031-74317-7
env. 70.00 CHF
livrable dans env. 20-45 jours
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Springer International Publishing, 2025
978-3-031-99716-7
env. 81.00 CHF
paraît en septembre
Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Springer International Publishing, 2025
978-3-031-97536-3
env. 91.00 CHF
paraît en octobre
Clean Code Kochbuch
Rezepte für gutes Code-Design und bessere Softwarequalität
O'Reilly, 2024
978-3-96009-243-8
52.50 CHF
disponible de suite
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
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Springer International Publishing, 2024
978-3-031-63497-0
env. 56.90 CHF
livrable dans env. 20-45 jours
Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 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, Part II
Springer International Publishing, 2025
978-3-031-90652-7
env. 56.90 CHF
livrable dans env. 20-45 jours
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-99983-3
env. 55.90 CHF
livrable dans env. 20-45 jours
Rigorous Software Development
An Introduction to Program Verification
Springer EN, 2025
978-1-4471-7557-5
env. 146.00 CHF
paraît en octobre
Testing Software and Systems
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-80888-3
env. 92.00 CHF
livrable dans env. 20-45 jours
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-032-04589-8
env. 91.00 CHF
paraît en octobre
Causal Discovery
Foundations, Algorithms and Applications
Springer International Publishing, 2025
978-3-031-98344-3
env. 116.00 CHF
paraît en septembre