Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
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
Applied Computational Mathematics
ICCE 2023, Chennai, India, December 8-9
Springer International Publishing, 2025
978-3-031-77763-9
216.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computational Science – ICCS 2025
25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-97628-5
ca. 112.00 CHF
erhältlich ab August 2025
Comparative Genomics
22nd RECOMB International Workshop, RECOMB-CG 2025, Seoul, South Korea, April 24–25, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-94927-2
ca. 81.00 CHF
erhältlich ab Juli 2025
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-82669-6
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advanced Research in Technologies, Information, Innovation and Sustainability
ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21–23, 2024, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-031-83431-8
117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
lieferbar in ca. 20-45 Arbeitstagen
New Trends in Information and Communications Technology Applications
8th National Conference, NTICT 2024, Baghdad, Iraq, December 18–19, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-87075-0
97.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9–10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80506-6
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-89609-5
81.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 356.00 CHF
erhältlich ab September 2025
Numerical Computations: Theory and Algorithms
4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023 Revised Selected Papers, Part III
Springer International Publishing, 2025
978-3-031-81246-0
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen