2 Ebooks bởi Matthias Hocks
Rolf Hammer & Matthias Hocks: Numerical Toolbox for Verified Computing I
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the result …
PDF
Anh
DRM
€114.85
Rolf Hammer & Matthias Hocks: C++ Toolbox for Verified Computing I
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C+ …
PDF
Anh
DRM
€127.90
