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.
Logik für die Informatik
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Informations bibliographiques
août 2025, env. 251 pages, Allemand
Springer
978-3-662-70824-8
Mots-clés
Informations bibliographiques
août 2025, env. 251 pages, Allemand
Springer
978-3-662-70824-8
Mots-clés
Autres titres sur ce thème
Convex Functions and Their Applications
A Contemporary Approach
Springer International Publishing, 2025
978-3-031-71966-0
env. 110.00 CHF
livrable dans env. 20-45 jours
An Introduction to Theory of Computation
An Algorithmic Approach
Springer International Publishing, 2025
978-3-031-84739-4
env. 104.00 CHF
livrable dans env. 20-45 jours
Applied Computational Mathematics
ICCE 2023, Chennai, India, December 8-9
Springer International Publishing, 2025
978-3-031-77763-9
env. 216.00 CHF
livrable dans env. 20-45 jours
Computational Science – ICCS 2025
25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-97625-4
env. 113.00 CHF
livrable dans env. 20-45 jours
Analysis für Informatiker
Grundlagen, Methoden, Algorithmen
Springer, 2025
978-3-662-71572-7
env. 59.50 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
env. 103.00 CHF
livrable dans env. 20-45 jours
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-78708-9
env. 169.00 CHF
livrable dans env. 20-45 jours
Conceptual Knowledge Structures
Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-03363-5
env. 168.00 CHF
paraît en septembre
Rotational Integral Geometry and its Applications
Springer International Publishing, 2025
978-3-031-87046-0
env. 189.00 CHF
livrable dans env. 20-45 jours
Modeling Decisions for Artificial Intelligence
22nd International Conference, MDAI 2025, Valencia, Spain, September 15–18, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-00890-9
env. 81.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
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of ...
International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-82038-0
env. 70.00 CHF
livrable dans env. 20-45 jours