Scientific Computing With Automatic Result Verification 비슷한 책 더 보기

Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
2016년
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
2009년
Numerical Software Verification Numerical Software Verification
2017년
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
2008년
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
2016년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
2016년
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
2020년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
2018년
Elementary Functions Elementary Functions
2016년
Automatic Differentiation: Applications, Theory, and Implementations Automatic Differentiation: Applications, Theory, and Implementations
2006년
Large-Scale Scientific Computing Large-Scale Scientific Computing
2018년
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing
2018년
Large-Scale Scientific Computing Large-Scale Scientific Computing
2022년
Numerical Analysis and Its Applications Numerical Analysis and Its Applications
2017년
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
2015년