Risultati per: dietmar-ratz (3)
Non più in commercio
C++ Toolbox for Verified Computing I
Basic Numerical Problems
di Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietmar Ratz
Springer & Verlag
fuori catalogo (5) - 1995
Non più in commercio
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
Non più in commercio
Pascal-XSC
Language Reference with Examples
di Rudi Klatte; Ulrich Kulisch; Michael Neaga; Dietmar Ratz; Christian Ullrich; G.F. Corliss; R. Klatte; U. Kulisch; D. Ratz; C. Wolff
Springer & Verlag
fuori catalogo (5) - 1992
