Grundkurs Programmieren in JavaDietmar Ratz, Jens Scheffler, Detlef Seese · First published 2006Open the Tome
C++ toolbox for verified computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995Open the Tome
Automatische Ergebnisverifikation bei globalen OptimierungsproblemenDietmar Ratz · First published 1992Open the Tome
Pascal-XscRudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich · First published 1991Open the Tome
