Computer Arithmetic and Formal Proofs 비슷한 책 더 보기

Algorithmic Mathematics Algorithmic Mathematics
Algorithmic Mathematics
2016년
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년
Computer-hardware Evaluation Of Mathematical Functions Computer-hardware Evaluation Of Mathematical Functions
Computer-hardware Evaluation Of Mathematical Functions
2015년
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
2007년
Scientific Computing with MATLAB and Octave Scientific Computing with MATLAB and Octave
Scientific Computing with MATLAB and Octave
2007년
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018년
Elementary Functions Elementary Functions
Elementary Functions
2016년
Computational Complexity: A Quantitative Perspective Computational Complexity: A Quantitative Perspective
Computational Complexity: A Quantitative Perspective
2004년
Microcomputer Algorithms Microcomputer Algorithms
Microcomputer Algorithms
2020년
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
2008년
Digital Logic Design Digital Logic Design
Digital Logic Design
2012년
Theory of Computation Theory of Computation
Theory of Computation
2006년
Computer Mathematics Computer Mathematics
Computer Mathematics
2008년
Multiple-Valued Logic Design Multiple-Valued Logic Design
Multiple-Valued Logic Design
2017년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2021년