Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Logik für die Informatik
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Von:Junker, Markus
Bibliografische Angaben
August 2025, ca. 251 Seiten, Deutsch
Springer
978-3-662-70824-8
Schlagworte
Bibliografische Angaben
August 2025, ca. 251 Seiten, Deutsch
Springer
978-3-662-70824-8
Schlagworte
Weitere Titel zum Thema
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
ca. 168.00 CHF
erscheint im September
Introduction to Spectral Graph Theory
Springer International Publishing, 2025
978-3-032-01707-9
ca. 63.00 CHF
erscheint im Oktober
Guide to Feistel Ciphers
Security Proofs and Cryptanalysis
Springer International Publishing, 2025
978-3-031-99849-2
ca. 109.00 CHF
erscheint im September
Computer Science – CACIC 2024
30th Argentine Congress of Computer Science, La Plata, Argentina, October 7–10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-032-00717-9
ca. 123.00 CHF
erscheint im September
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
ca. 81.00 CHF
erscheint im September
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
ca. 103.00 CHF
erscheint im Januar
Information Processing in Medical Imaging
29th International Conference, IPMI 2025, Kos, Greece, May 25–30, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-96624-8
ca. 102.00 CHF
erscheint im September
Emulation of Complex Fluid Flows
Projection-Based Reduced-Order Modeling and Machine Learning
De Gruyter, 2025
978-3-11-163135-6
ca. 187.00 CHF
erscheint im November
Advances in Swarm Intelligence
16th International Conference on Swarm Intelligence, ICSI 2025, Yokohama, Japan, July 11–15, 2025, Proceedings, Part I
Springer EN, 2025
978-981-9509-81-2
ca. 112.00 CHF
erscheint im September
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-00941-8
ca. 81.00 CHF
erscheint im September
Algorithmic Aspects of Cloud Computing
9th International Symposium, ALGOCLOUD 2024, London, UK, September 2–3, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-94676-9
ca. 159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Human and Artificial Rationalities. Advances in Cognition, Computation, and ...
Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-84594-9
ca. 103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen