Advances in Automatic Differentiation المزيد من الكتب المشابهة

Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٧
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٧
Static Analysis Static Analysis
Static Analysis
٢٠١١
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
٢٠٠٩
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٧
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
٢٠١٦
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
٢٠١٦
Modeling, Simulation and Optimization of Complex Processes Modeling, Simulation and Optimization of Complex Processes
Modeling, Simulation and Optimization of Complex Processes
٢٠٠٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٨
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٩
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
٢٠١٥
High-Performance Scientific Computing High-Performance Scientific Computing
High-Performance Scientific Computing
٢٠١٢
Static Analysis Static Analysis
Static Analysis
٢٠٠٧
Tractability Tractability
Tractability
٢٠١٤