Scientific Computing, Computer Arithmetic, and Validated Numerics More Books Like This

Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
Numerical Computations: Theory and Algorithms
2020
System Modeling and Optimization System Modeling and Optimization
System Modeling and Optimization
2014
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2018
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2016
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2018
Mathematical Optimization Theory and Operations Research Mathematical Optimization Theory and Operations Research
Mathematical Optimization Theory and Operations Research
2019
Monte Carlo and Quasi-Monte Carlo Methods Monte Carlo and Quasi-Monte Carlo Methods
Monte Carlo and Quasi-Monte Carlo Methods
2018
Scientific Computing With Automatic Result Verification Scientific Computing With Automatic Result Verification
Scientific Computing With Automatic Result Verification
1992
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 Optimization Theory and Operations Research Mathematical Optimization Theory and Operations Research
Mathematical Optimization Theory and Operations Research
2019
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2017
System Modeling and Optimization System Modeling and Optimization
System Modeling and Optimization
2017
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
2009