Numerical Validation in Current Hardware Architectures Plus de livres similaires

Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Reliable Implementation of Real Number Algorithms: Theory and Practice 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
Mathematical Aspects of Computer and Information Sciences
2016
Mathematical Software – ICMS 2018 Mathematical Software – ICMS 2018
Mathematical Software – ICMS 2018
2018
High-Performance Scientific Computing High-Performance Scientific Computing
High-Performance Scientific Computing
2012
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Elementary Functions Elementary Functions
Elementary Functions
2016
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2016
Mathematical Software – ICMS 2016 Mathematical Software – ICMS 2016
Mathematical Software – ICMS 2016
2016
Software Verification Software Verification
Software Verification
2022
Parallel Computational Technologies Parallel Computational Technologies
Parallel Computational Technologies
2021
Parallel Computing Parallel Computing
Parallel Computing
2020
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2017
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007