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.
Bibliografische Angaben
September 2025, ca. 215 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-031-98344-3
Schlagworte
Bibliografische Angaben
September 2025, ca. 215 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-031-98344-3
Schlagworte
Weitere Titel der Reihe: Computer Science Foundations and Applied Logic
Alle anzeigenProof 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
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
ca. 90.00 CHF
erscheint im Oktober
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
ca. 104.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer Nature EN, 2025
978-3-031-74761-8
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
ca. 262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer Nature EN, 2025
978-3-031-48280-9
ca. 84.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
A Concise Introduction to Software Engineering
With Open Source and GenAI
Springer Nature EN, 2025
978-3-031-74317-7
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Krise der Aufklärung
Über die Fortsetzbarkeit einer Lebensform
Suhrkamp, 2025
978-3-518-30081-7
ca. 30.90 CHF
erscheint im Oktober
Das Prinzip vom zureichenden Grunde bei Émilie Du Châtelet
Eine philosophiegeschichtliche Einordnung von Du Châtelets Beitrag zum Prinzip vom zureichenden Grunde in einem Vergleich zu G.W. Leibniz und Christian Wolff
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46349-6
ca. 84.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Value of Belief: On the Epistemological and Practical Importance of doxa in ...
Springer, 2026
978-3-662-71924-4
ca. 116.00 CHF
erscheint im März
Computer Vision
Cognitive Models for Visual Commonsense Reasoning
Springer International Publishing, 2025
978-3-031-98106-7
ca. 123.00 CHF
erscheint im September
Hybrid Switching Diffusions
Properties and Applications
Springer International Publishing, 2025
978-3-031-93302-8
ca. 188.00 CHF
erscheint im September
Springer Handbook of Reliability
Springer International Publishing, 2026
978-3-031-78051-6
392.00 CHF
Noch nicht erschienen. Termin unbestimmt.
Hypnosis in the Realm of De-Sign
Springer International Publishing, 2025
978-3-031-81295-8
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Dichtung als Wissenschaft und Unterrichtsgegenstand
Zur Poetik im frühen italienischen Humanismus (von Petrarca bis Battista Guarino)
Universitätsvlg. Winter, 2025
978-3-8253-9597-1
111.00 CHF
sofort lieferbar
Topics in Combinatorics and Graph Theory
Springer International Publishing, 2025
978-3-031-74251-4
ca. 110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
A Decade of Research Activities at the Department of Industrial Engineering ...
From Five Existing Departments to the Excellence in Research
Springer International Publishing, 2025
978-3-031-53399-0
ca. 56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen