Advances in Automatic Differentiation More Books Like This

Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Static Analysis Static Analysis
Static Analysis
2011
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
2009
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2018
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Modeling, Simulation and Optimization of Complex Processes Modeling, Simulation and Optimization of Complex Processes
Modeling, Simulation and Optimization of Complex Processes
2008
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2008
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2019
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2015
High-Performance Scientific Computing High-Performance Scientific Computing
High-Performance Scientific Computing
2012
Static Analysis Static Analysis
Static Analysis
2007
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
Numerical Computations: Theory and Algorithms
2020