Ergebnisse filtern
-
- 33
- 9
-
- 32
- 4
- 6
-
- 18
- 24
-
- 42
-
- 42
-
- 42
-
Caviness / Johnson Quantifier Elimination and Cylindrical Algebraic Decomposition
Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-211-82794-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schreiner Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions2. Auflage 2026Verlag: Springer International PublishingISBN: 978-3-031-99704-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blümlein / Schneider Anti-Differentiation and the Calculation of Feynman Amplitudes
1. Auflage 2021Verlag: SpringerISBN: 978-3-030-80221-9Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melczer An Invitation to Analytic Combinatorics
From One to Several Variables1. Auflage 2021Verlag: SpringerISBN: 978-3-030-67082-5Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winkler Polynomial Algorithms in Computer Algebra
1. Auflage 1996Verlag: SpringerISBN: 978-3-211-82759-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schneider / Blümlein Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions1. Auflage 2013Verlag: SpringerISBN: 978-3-7091-1615-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwarz Loewy Decomposition of Linear Differential Equations
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-7091-1687-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pillwein / Schneider Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday1. Auflage 2020Verlag: SpringerISBN: 978-3-030-44558-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thalheim / Schewe / Prinz Correct Software in Web Applications and Web Services
Softcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-34727-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krasil'shchik / Verbovetsky / Vitolo The Symbolic Computation of Integrability Structures for Partial Differential Equations
1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71654-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sturmfels Algorithms in Invariant Theory
2. Auflage; VII, 197 pp.; 5 figs. 2008Verlag: SpringerISBN: 978-3-211-77416-8Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ida An Introduction to Computational Origami
1. Auflage 2020Verlag: SpringerISBN: 978-3-319-59188-9Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melczer An Invitation to Analytic Combinatorics
From One to Several Variables1. Auflage 2021Verlag: SpringerISBN: 978-3-030-67079-5Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pillwein / Schneider Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday1. Auflage 2020Verlag: SpringerISBN: 978-3-030-44561-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schneider / Blümlein Computer Algebra in Quantum Field Theory
Integration, Summation and Special FunctionsSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-7091-4849-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melczer An Invitation to Analytic Combinatorics
From One to Several Variables1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-67080-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark139,09 € (inkl. MwSt.)
sofort verfügbar -
Pfalzgraf / Wang Automated Practical Reasoning
Algebraic ApproachesErscheinungsjahr 2012Verlag: Springer WienISBN: 978-3-7091-6604-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Wang Elimination Methods
Erscheinungsjahr 2012Verlag: Springer WienISBN: 978-3-7091-6202-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Ben-Israel / Gilbert Computer-Supported Calculus
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-3-7091-7230-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kajler Computer - Human Interaction in Symbolic Computation
1. Auflage 1998Verlag: SpringerISBN: 978-3-211-82843-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schreiner Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions1. Auflage 2021Verlag: SpringerISBN: 978-3-030-80509-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schreiner Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker2023Verlag: SpringerISBN: 978-3-031-24933-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kauers / Paule The Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates1. Auflage 2011Verlag: Springer WienISBN: 978-3-7091-0445-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar -
Wang Elimination Methods
1. Auflage 2000Verlag: SpringerISBN: 978-3-211-83241-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raab / Singer Integration in Finite Terms: Fundamental Sources
1. Auflage 2022Verlag: SpringerISBN: 978-3-030-98769-5Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort