Computer Arithmetic and Formal Proofs More Books Like This

Computer-hardware Evaluation Of Mathematical Functions Computer-hardware Evaluation Of Mathematical Functions
Computer-hardware Evaluation Of Mathematical Functions
2015
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018
Computational Complexity: A Quantitative Perspective Computational Complexity: A Quantitative Perspective
Computational Complexity: A Quantitative Perspective
2004
Microcomputer Algorithms Microcomputer Algorithms
Microcomputer Algorithms
2020
Multiple-Valued Logic Design Multiple-Valued Logic Design
Multiple-Valued Logic Design
2017
Essentials of Scientific Computing Essentials of Scientific Computing
Essentials of Scientific Computing
2008
Differential Equations: Classical to Controlled (Enhanced Edition) Differential Equations: Classical to Controlled (Enhanced Edition)
Differential Equations: Classical to Controlled (Enhanced Edition)
1982
An Algorithmic Approach to Nonlinear Analysis and Optimization (Enhanced Edition) An Algorithmic Approach to Nonlinear Analysis and Optimization (Enhanced Edition)
An Algorithmic Approach to Nonlinear Analysis and Optimization (Enhanced Edition)
1970
Compact Numerical Methods for Computers Compact Numerical Methods for Computers
Compact Numerical Methods for Computers
2018
Handbook of Automated Reasoning Handbook of Automated Reasoning
Handbook of Automated Reasoning
2001
Integer Algorithms In Cryptology And Information Assurance Integer Algorithms In Cryptology And Information Assurance
Integer Algorithms In Cryptology And Information Assurance
2014
Discrete and Continuous Boundary Problems (Enhanced Edition) Discrete and Continuous Boundary Problems (Enhanced Edition)
Discrete and Continuous Boundary Problems (Enhanced Edition)
1964
Large Deviations For Performance Analysis Large Deviations For Performance Analysis
Large Deviations For Performance Analysis
2019
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
2012
Concise Encyclopedia of Coding Theory Concise Encyclopedia of Coding Theory
Concise Encyclopedia of Coding Theory
2021