Computer Arithmetic and Formal Proofs المزيد من الكتب المشابهة

Algorithmic Mathematics Algorithmic Mathematics
Algorithmic Mathematics
٢٠١٦
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
٢٠٠٨
Computer-hardware Evaluation Of Mathematical Functions Computer-hardware Evaluation Of Mathematical Functions
Computer-hardware Evaluation Of Mathematical Functions
٢٠١٥
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
٢٠٠٧
Scientific Computing with MATLAB and Octave Scientific Computing with MATLAB and Octave
Scientific Computing with MATLAB and Octave
٢٠٠٧
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
٢٠١٨
Elementary Functions Elementary Functions
Elementary Functions
٢٠١٦
Computational Complexity: A Quantitative Perspective Computational Complexity: A Quantitative Perspective
Computational Complexity: A Quantitative Perspective
٢٠٠٤
Microcomputer Algorithms Microcomputer Algorithms
Microcomputer Algorithms
٢٠٢٠
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
٢٠٠٨
Digital Logic Design Digital Logic Design
Digital Logic Design
٢٠١٢
Theory of Computation Theory of Computation
Theory of Computation
٢٠٠٦
Computer Mathematics Computer Mathematics
Computer Mathematics
٢٠٠٨
Multiple-Valued Logic Design Multiple-Valued Logic Design
Multiple-Valued Logic Design
٢٠١٧
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
٢٠٢١