Advanced arithmetic for the digital computerUlrich Kulisch · First published 2002 · Latest edition 2003Open the Tome
C++ toolbox for verified computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995Open the Tome
Scientific computing with automatic result verificationUlrich Kulisch · First published 1993Open the Tome
Pascal-XscRudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich · First published 1991Open the Tome
Wissenschaftliches Rechnen Mit ErgebnisverifikationUlrich Kulisch · First published 1989Open the Tome
Scientific Computation with Automatic Result VerificationUlrich Kulisch · First published 1988Open the Tome
ComputerarithmeticEdgar W. Kaucher, Ulrich Kulisch, Christian Ullrich · First published 1987Open the Tome
Wissenschaftliches Rechnen und ProgrammiersprachenUlrich Kulisch, Christian Ullrich · First published 1982Open the Tome
Grundlagen der Computer-ArithmetikAlbrecht, Rudolf, Ulrich Kulisch · First published 1977Open the Tome