Scientific Computing With Automatic Result Verification
-
- 79٫99 US$
-
- 79٫99 US$
وصف الناشر
Scientific computing with automatic result verification.
Scientific Computing, Computer Arithmetic, and Validated Numerics
٢٠١٦
Numerical Validation in Current Hardware Architectures
٢٠٠٩
Numerical Software Verification
٢٠١٧
Reliable Implementation of Real Number Algorithms: Theory and Practice
٢٠٠٨
Mathematical Aspects of Computer and Information Sciences
٢٠١٦
Computer Algebra in Scientific Computing
٢٠١٦