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년
Numerical Computations: Theory and Algorithms
2020년
Computer Algebra in Scientific Computing
2018년
Elementary Functions
2016년
Automatic Differentiation: Applications, Theory, and Implementations
2006년
Large-Scale Scientific Computing
2018년
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing
2018년
Large-Scale Scientific Computing
2022년
Numerical Analysis and Its Applications
2017년
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
2015년