Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Thinking Programs
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
September 2025, ca. 649 Seiten, Texts & Monographs in Symbolic Computation, Englisch
Springer International Publishing
978-3-031-99704-4
September 2025, ca. 649 Seiten, Texts & Monographs in Symbolic Computation, Englisch
Springer International Publishing
978-3-031-99704-4
Weitere Titel der Reihe: Texts & Monographs in Symbolic Computation
Alle anzeigenAn Introduction to Computational Origami
Springer EN, 2020
978-3-319-59188-9
ca. 207.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer EN, 2018
978-3-030-10088-9
ca. 147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer EN, 2018
978-3-319-71654-1
ca. 147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions
Springer EN, 2016
978-3-7091-4849-5
ca. 135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Loewy Decomposition of Linear Differential Equations
Springer EN, 2014
978-3-7091-1687-6
ca. 135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computer-Supported Calculus
Springer EN, 2012
978-3-7091-7230-8
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Springer EN, 2010
978-3-7091-0444-6
ca. 97.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Algorithms in Invariant Theory
Springer EN, 2008
978-3-211-77416-8
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Elimination Methods
Springer EN, 2000
978-3-211-83241-7
ca. 135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Springer International Publishing, 2025
978-3-031-92195-7
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Modelling and Development of Intelligent Systems
9th International Conference, MDIS 2024, Sibiu, Romania, October 17–19, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-87385-0
ca. 117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Evolutionary Computation in Combinatorial Optimization
25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-86848-1
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-90896-5
ca. 56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 189.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computational Diffusion MRI
15th International Workshop, CDMRI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-86919-8
ca. 84.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Number-Theoretic Methods in Cryptology
4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-82379-4
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Springer, 2026
978-3-662-69708-5
ca. 37.90 CHF
erscheint im März
Network Games, Artificial Intelligence, Control and Optimization
11th International Conference, NETGCOOP 2024, Lille, France, October 9–11, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-78599-3
ca. 159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-87216-7
ca. 147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Guide to Graph Algorithms
Sequential, Parallel and Distributed
Springer International Publishing, 2026
978-3-032-05293-3
ca. 103.00 CHF
erscheint im Februar