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.
Thinking Programs
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Bibliografische Angaben
September 2025, Texts & Monographs in Symbolic Computation, Englisch
Springer International Publishing
978-3-031-99704-4
Schlagworte
Bibliografische Angaben
September 2025, Texts & Monographs in Symbolic Computation, Englisch
Springer International Publishing
978-3-031-99704-4
Schlagworte
Weitere Titel der Reihe: Texts & Monographs in Symbolic Computation
Alle anzeigenAn Introduction to Computational Origami
Springer Nature EN, 2020
978-3-319-59188-9
207.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer Nature EN, 2018
978-3-030-10088-9
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer Nature EN, 2018
978-3-319-71654-1
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Loewy Decomposition of Linear Differential Equations
Springer Nature EN, 2014
978-3-7091-1687-6
158.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Algorithms in Invariant Theory
Springer Nature EN, 2008
978-3-211-77416-8
135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-031-82699-3
82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
erhältlich ab September 2025
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-99535-4
ca. 91.00 CHF
erhältlich ab August 2025
Numerical Mathematics and Advanced Applications ENUMATH 2023, Volume 1
European Conference, September 4-8, Lisbon, Portugal
Springer International Publishing, 2025
978-3-031-86172-7
417.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Philosophical Methodology After Carnap
Springer International Publishing, 2025
978-3-032-00209-9
ca. 134.00 CHF
erhältlich ab Oktober 2025
Numerical Mathematics and Advanced Applications ENUMATH 2023, Volume 2
European Conference, September 4-8, Lisbon, Portugal
Springer International Publishing, 2025
978-3-031-86168-0
334.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Integration of Constraint Programming, Artificial Intelligence, and Operations ...
22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-95975-2
91.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Completely Regular Semigroup Varieties
Applications and Advanced Techniques
Springer International Publishing, 2025
978-3-031-48824-5
56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computational Science – ICCS 2025 Workshops
25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-97563-9
112.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computational Science – ICCS 2025 Workshops
25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-031-97566-0
112.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Statistical Atlases and Computational Models of the Heart. Workshop, CMRxRecon ...
15th International Workshop, STACOM 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-87755-1
189.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Engineering of Complex Computer Systems
29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-00827-5
ca. 168.00 CHF
erhältlich ab September 2025