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.
September 2025, ca. 215 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-031-98344-3
September 2025, ca. 215 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-031-98344-3
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 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 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
Realität+
Virtuelle Welten und die Probleme der Philosophie
Suhrkamp, 2026
978-3-518-30075-6
ca. 35.90 CHF
erscheint im Februar
Spatial Ecology and Conservation Modeling
Applications with R
Springer International Publishing, 2025
978-3-032-02423-7
ca. 146.00 CHF
erscheint im November
The Structure of Reasons
Springer International Publishing, 2025
978-3-031-87680-6
ca. 158.00 CHF
erscheint im Dezember
Nonequilibrium Statistical Mechanics I
Foundations and Modern Applications
Springer International Publishing, 2025
978-3-031-98248-4
ca. 116.00 CHF
erscheint im Oktober
Graph-Theoretic Concepts in Computer Science
50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19–21, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-75408-1
ca. 103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Fundamentals of Queueing-Game Models
Springer EN, 2026
978-981-9502-60-8
ca. 198.00 CHF
erscheint im Februar
Bankmanagement mittels Risiko-Rendite-Steuerung
Strategie, Preisgestaltung, Kapital- und Risikomanagement
Springer, 2026
978-3-032-04667-3
ca. 83.00 CHF
erscheint im März
Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 27–October 3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04166-1
ca. 55.90 CHF
erscheint im Oktober
Portfolio Management in Continuous Time
Numerical Applications in R and Python
Springer International Publishing, 2026
978-3-031-99909-3
ca. 116.00 CHF
erscheint im Januar
Ensemble History Matching
Conditioning Resesrvoir Models on Dynamic Data
Springer International Publishing, 2025
978-3-031-99154-7
ca. 69.00 CHF
erscheint im November