Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketIntegration in Finite Terms: Fundamental Sources
Clemens G. Raab
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£149.99
£102.91
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketIntegration in Finite Terms: Fundamental Sources
Clemens G. Raab
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£139.99
£96.42
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketConcrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketConcrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Download Now
Format: eBook (EPUB)
Correct Software in Web Applications and Web Services
Bernhard Thalheim
Download Now
Format: eBook (PDF)
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Joseph Krasil'shchik
Download Now
Format: eBook (EPUB)
The Concrete Tetrahedron : Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Manuel Kauers
Download Now
Format: eBook (PDF)
Numerical and Symbolic Scientific Computing : Progress and Prospects
Ulrich Langer
Download Now
Format: eBook (PDF)
Computer Algebra in Quantum Field Theory : Integration, Summation and Special Functions
Carsten Schneider
Download Now
Format: eBook (PDF)
Computer - Human Interaction in Symbolic Computation
Norbert Kajler
Download Now
Format: eBook (PDF)
Advances in the Design of Symbolic Computation Systems
Alfonso Miola
Download Now
Format: eBook (PDF)
Automated Practical Reasoning : Algebraic Approaches
Jochen Pfalzgraf
Download Now
Format: eBook (PDF)
Mechanical Theorem Proving in Geometries : Basic Principles
Wen-tsun Wu
Download Now
Format: eBook (PDF)
Quantifier Elimination and Cylindrical Algebraic Decomposition
Bob F. Caviness
Download Now
Format: eBook (PDF)