Risultati per: rolf-hammer (2)

C++ Toolbox for Verified Computing I
Basic Numerical Problems
di Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietmar Ratz
Springer & Verlag
fuori catalogo (5) - 1995

Numerical Toolbox for Verified Computing
Volume 1: Basic Numerical Problems. Theory, Algorithms, and Pascal-XSC Programs
di Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietmar Ratz
Springer & Verlag
fuori catalogo (5) - 1993