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
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Thinking Programs
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Informations bibliographiques
septembre 2025, Texts & Monographs in Symbolic Computation, Anglais
Springer International Publishing
978-3-031-99704-4
Mots-clés
Informations bibliographiques
septembre 2025, Texts & Monographs in Symbolic Computation, Anglais
Springer International Publishing
978-3-031-99704-4
Mots-clés
Autres titres de la collection: Texts & Monographs in Symbolic Computation
Afficher toutAn Introduction to Computational Origami
Springer Nature EN, 2020
978-3-319-59188-9
207.00 CHF
livrable dans env. 20-45 jours
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer Nature EN, 2018
978-3-030-10088-9
147.00 CHF
livrable dans env. 20-45 jours
The Symbolic Computation of Integrability Structures for Partial Differential ...
Springer Nature EN, 2018
978-3-319-71654-1
147.00 CHF
livrable dans env. 20-45 jours
Loewy Decomposition of Linear Differential Equations
Springer Nature EN, 2014
978-3-7091-1687-6
158.00 CHF
livrable dans env. 20-45 jours
Algorithms in Invariant Theory
Springer Nature EN, 2008
978-3-211-77416-8
135.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
env. 103.00 CHF
disponible dès janvier 2026
Artificial Life and Evolutionary Computation
18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11–13, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-93630-2
env. 158.00 CHF
disponible dès août 2025
Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9–10, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-80506-6
70.00 CHF
livrable dans env. 20-45 jours
Zahlen lernen mit dem Blätterdieb
Pappbilderbuch ab 2 Jahren mit extragroßen Klappen – zum Zählenlernen mit dem beliebten Eichhörnchen aus dem Bilderbucherfolg „Der Blätterdieb“
Baumhaus, 2025
978-3-8339-1014-2
14.50 CHF
disponible de suite
Handbook of Artificial Intelligence and Data Sciences for Routing Problems
Springer International Publishing, 2025
978-3-031-78261-9
239.00 CHF
livrable dans env. 20-45 jours
Starthilfe Finanzmathematik
Zinsen – Kurse – Renditen
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46680-0
52.50 CHF
livrable dans env. 20-45 jours
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-74775-5
103.00 CHF
livrable dans env. 20-45 jours
Institution-independent Model Theory
Springer International Publishing, 2025
978-3-031-68853-9
179.00 CHF
livrable dans env. 20-45 jours
Fuzzy Mathematics
A Fundamental Introduction
Springer International Publishing, 2025
978-3-031-73833-3
56.90 CHF
livrable dans env. 20-45 jours
Mathematik für das Ingenieurstudium
Aufgaben und Lösungen
Hanser Fachbuch, 2025
978-3-446-47863-3
40.90 CHF
disponible de suite
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
159.00 CHF
livrable dans env. 20-45 jours
Operations Research and Enterprise Systems
13th International Conference, ICORES 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-95645-4
84.00 CHF
livrable dans env. 20-45 jours