Reihe Texts and Monographs in Symbolic Computation Automated Practical ReasoningAlgebraic ApproachesSpringer WieneBook201282,38 € Mechanical Theorem Proving in GeometriesBasic PrinciplesWen-tsün WuSpringer WieneBook201253,49 € Quantifier Elimination and Cylindrical Algebraic Decomposition Springer WieneBook201253,49 € Computer-Supported Calculus A. Ben-IsraelSpringer WienSoftcover201253,49 € Loewy Decomposition of Linear Differential Equations Fritz SchwarzSpringer WienHardcover2012106,99 € Loewy Decomposition of Linear Differential Equations Fritz SchwarzSpringer WieneBook201296,29 € Numerical and Symbolic Scientific ComputingProgress and ProspectsSpringer WienSoftcover2011106,99 € Numerical and Symbolic Scientific ComputingProgress and ProspectsSpringer WieneBook201196,29 € The Concrete TetrahedronSymbolic Sums, Recurrence Equations, Generating Functions, Asymptotic EstimatesManuel KauersSpringer WieneBook201174,89 € The Concrete TetrahedronSymbolic Sums, Recurrence Equations, Generating Functions, Asymptotic EstimatesManuel KauersSpringer WienSoftcover201074,89 €30 Treffer 1 2 3
