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
Logik für die Informatik
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Informations bibliographiques
juillet 2025, env. 248 pages, Allemand
Springer
978-3-662-70824-8
Mots-clés
Informations bibliographiques
juillet 2025, env. 248 pages, Allemand
Springer
978-3-662-70824-8
Mots-clés
Autres titres sur ce thème
Advanced Information Systems Engineering
37th International Conference, CAiSE 2025, Vienna, Austria, June 16–20, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-94568-7
env. 112.00 CHF
disponible dès juillet 2025
NASA Formal Methods
17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11–13, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-93705-7
env. 168.00 CHF
disponible dès juin 2025
Neutrosophic Paradigms: Advancements in Decision Making and Statistical Analysis
Neutrosophic Principles for Handling Uncertainty
Springer International Publishing, 2025
978-3-031-78504-7
239.00 CHF
livrable dans env. 20-45 jours
Advances in Artificial Intelligence – IBERAMIA 2024
18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13–15, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-80365-9
103.00 CHF
livrable dans env. 20-45 jours
The Semantic Web: ESWC 2024 Satellite Events
Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-78951-9
92.00 CHF
livrable dans env. 20-45 jours
Bioinformatics and Computational Biology
17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-94038-5
env. 158.00 CHF
disponible dès juillet 2025
Mathematical Modeling and Supercomputer Technologies
24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18–21, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80456-4
97.00 CHF
livrable dans env. 20-45 jours
Lehrbuch der Softwaretechnik
Springer, 2026
978-3-662-67655-4
env. 71.00 CHF
disponible dès février 2026
Distributed Computer and Communication Networks
27th International Conference, DCCN 2024, Moscow, Russia, September 23–27, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80852-4
103.00 CHF
livrable dans env. 20-45 jours
Methods of Solving Solid Geometry Problems
Springer International Publishing, 2025
978-3-031-86968-6
env. 123.00 CHF
disponible dès juillet 2025
Knowledge Graphs and Semantic Web
6th International Conference, KGSWC 2024, Paris, France, December 11–13, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-81220-0
92.00 CHF
livrable dans env. 20-45 jours
Advanced Information Systems Engineering
37th International Conference, CAiSE 2025, Vienna, Austria, June 16–20, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-94573-1
env. 91.00 CHF
disponible dès juillet 2025