Related Books

C++ Toolbox for Verified Computing I
Language: en
Pages: 389

C++ Toolbox for Verified Computing I

Authors: Rolf Hammer
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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++ Too
C++ Toolbox for Verified Computing I
Language: en
Pages: 408

C++ Toolbox for Verified Computing I

Authors: Rolf Hammer
Categories: Computers
Type: BOOK - Published: 1995-05-17 - Publisher: Springer

DOWNLOAD EBOOK

Theory, Algorithms, and Programs
C++ Toolbox for Verified Computing I
Language: en
Pages:

C++ Toolbox for Verified Computing I

Authors:
Categories: C++ (Computer program language)
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

Numerical Toolbox for Verified Computing I
Language: en
Pages: 348

Numerical Toolbox for Verified Computing I

Authors: Rolf Hammer
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 pro
C+[plus]+[plus] Toolbox for Verified Computing
Language: en
Pages: 377

C+[plus]+[plus] Toolbox for Verified Computing

Authors:
Categories:
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK