Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Thinking Programs
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
septembre 2025, env. 649 pages, Texts & Monographs in Symbolic Computation, Anglais
Springer International Publishing
978-3-031-99704-4
septembre 2025, env. 649 pages, Texts & Monographs in Symbolic Computation, Anglais
Springer International Publishing
978-3-031-99704-4
Autres titres de la collection: Texts & Monographs in Symbolic Computation
Afficher toutAn Introduction to Computational Origami
Springer EN, 2020
978-3-319-59188-9
env. 207.00 CHF
livrable dans env. 20-45 jours
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer EN, 2018
978-3-030-10088-9
env. 147.00 CHF
livrable dans env. 20-45 jours
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer EN, 2018
978-3-319-71654-1
env. 147.00 CHF
livrable dans env. 20-45 jours
Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions
Springer EN, 2016
978-3-7091-4849-5
env. 135.00 CHF
livrable dans env. 20-45 jours
Loewy Decomposition of Linear Differential Equations
Springer EN, 2014
978-3-7091-1687-6
env. 135.00 CHF
livrable dans env. 20-45 jours
Computer-Supported Calculus
Springer EN, 2012
978-3-7091-7230-8
env. 70.00 CHF
livrable dans env. 20-45 jours
The Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Springer EN, 2010
978-3-7091-0444-6
env. 97.00 CHF
livrable dans env. 20-45 jours
Algorithms in Invariant Theory
Springer EN, 2008
978-3-211-77416-8
env. 179.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
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
env. 189.00 CHF
livrable dans env. 20-45 jours
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
env. 159.00 CHF
livrable dans env. 20-45 jours
The Mathematical and Philosophical Legacy of Alexander Grothendieck
Springer International Publishing, 2025
978-3-031-68933-8
273.00 CHF
disponible de suite
Diskrete Mathematik für die Informatik
Springer International Publishing, 2025
978-3-031-82104-2
24.90 CHF
disponible de suite
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
env. 189.00 CHF
livrable dans env. 20-45 jours
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Springer International Publishing, 2025
978-3-031-82450-0
env. 179.00 CHF
livrable dans env. 20-45 jours
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
env. 103.00 CHF
paraît en janvier
Risks and Security of Internet and Systems
19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-89349-0
env. 159.00 CHF
livrable dans env. 20-45 jours
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
env. 56.90 CHF
livrable dans env. 20-45 jours
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Springer, 2026
978-3-662-69708-5
env. 37.90 CHF
paraît en mars
Arithmetic and Algebraic Geometry
A Mathematical Tribute to Yuri Manin
Springer International Publishing, 2025
978-3-031-74133-3
env. 189.00 CHF
livrable dans env. 20-45 jours
Advanced Research in Technologies, Information, Innovation and Sustainability
4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21–23, 2024, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-031-83206-2
env. 117.00 CHF
livrable dans env. 20-45 jours