Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Autorinnen/Autoren
Verlag
Shop
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
Juli 2025, ca. 248 Seiten, Deutsch
Springer
978-3-662-70824-8
Schlagworte
Bibliografische Angaben
Juli 2025, ca. 248 Seiten, Deutsch
Springer
978-3-662-70824-8
Schlagworte
Weitere Titel zum Thema
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-78749-2
189.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
Discrete Mathematics
A Concise Introduction
Springer International Publishing, 2025
978-3-031-30490-3
56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Testing Software and Systems
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-80888-3
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advances in Computational Intelligence. MICAI 2024 International Workshops
HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21–25, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-83881-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 168.00 CHF
erhältlich ab Juni 2025
Methods of Solving Solid Geometry Problems
Springer International Publishing, 2025
978-3-031-86968-6
ca. 123.00 CHF
erhältlich ab Juli 2025
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
ca. 112.00 CHF
erhältlich ab Juli 2025
Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-94705-6
ca. 81.00 CHF
erhältlich ab Juli 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
lieferbar in ca. 20-45 Arbeitstagen