Scientific Computing With Automatic Result Verification
-
- US$79.99
-
- US$79.99
출판사 설명
Scientific computing with automatic result verification.
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016년
Numerical Validation in Current Hardware Architectures
2009년
Numerical Software Verification
2017년
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008년
Mathematical Aspects of Computer and Information Sciences
2016년
Computer Algebra in Scientific Computing
2016년