Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
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
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
Handbook of Artificial Intelligence and Data Sciences for Routing Problems
Springer International Publishing, 2025
978-3-031-78261-9
239.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
Artificial Intelligence – COMIA 2025
17th Mexican Congress, Mexico City, Mexico, May 12–16, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-97906-4
env. 123.00 CHF
disponible dès août 2025
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
livrable dans env. 20-45 jours
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer Nature EN, 2025
978-3-031-74761-8
237.00 CHF
livrable dans env. 20-45 jours
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-98739-7
env. 188.00 CHF
disponible dès août 2025
Random Number Generators for Computer Simulation and Cyber Security
Design, Search, Theory, and Application
Springer International Publishing, 2025
978-3-031-76721-0
56.90 CHF
livrable dans env. 20-45 jours
Spectral and High-Order Methods for Partial Differential Equations ICOSAHOM 2023
Selected Papers from the ICOSAHOM Conference, Seoul, Korea, August 14 – 18, 2023
Springer International Publishing, 2025
978-3-031-76987-0
env. 297.00 CHF
disponible dès août 2025
Differential and Algorithmic Intelligent Game Theory
Methods and Applications
Springer International Publishing, 2026
978-3-031-97732-9
env. 178.00 CHF
disponible dès mars 2026
Applied Computational Mathematics
ICCE 2023, Chennai, India, December 8-9
Springer International Publishing, 2025
978-3-031-77763-9
216.00 CHF
livrable dans env. 20-45 jours
Computing Concepts for Science, Engineering and AI, Volume I
CSEAi 2023, Vizianagaram, India, November 29-30
Springer International Publishing, 2025
978-3-031-95158-9
env. 356.00 CHF
disponible dès septembre 2025
Computational Science – ICCS 2025 Workshops
25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI
Springer International Publishing, 2025
978-3-031-97572-1
env. 102.00 CHF
disponible dès juillet 2025