2 电子书 Rolf Hammer
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 …
PDF
英语
DRM
€114.65
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 …
PDF
英语
DRM
€126.04
