Matthias Hocks – författare
Visar alla böcker från författaren Matthias Hocks. Handla med fri frakt och snabb leverans.
4 produkter
Numerical Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Av Dietmar Ratz, Ulrich Kulisch m. fl.
E-bok, 2012
1459 kr
Lägg i varukorg
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 results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be …
Numerical Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Av Rolf Hammer, Matthias Hocks m. fl.
Häftad, 2011
1098 kr
Lägg i varukorg
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 results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be …
C++ Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Programs
Av Dietmar Ratz, Ulrich Kulisch m. fl.
E-bok, 2012
1587 kr
Lägg i varukorg
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++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition …
C++ Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Programs
Av Rolf Hammer, Matthias Hocks m. fl.
Häftad, 2011
1207 kr
Lägg i varukorg
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++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition …
