LIBROS DEL AUTOR: rolf hammer

2 resultados para LIBROS DEL AUTOR: rolf hammer

  • C++ Toolbox for Verified Computing I
    Matthias Hocks / Rolf Hammer / Ulrich Kulisch
    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 were written in PASCAL-XSC, a PASCAL eXtension for Scien...
    Disponible

    145,68 €

  • Numerical Toolbox for Verified Computing I
    Matthias Hocks / Rolf Hammer / Ulrich Kulisch
    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 combined by the reader to his/her individual needs. Our...
    Disponible

    133,58 €