C++ Toolbox for Verified Computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar RatzHäftad1 167 kr
Del 21Numerical Toolbox for Verified Computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar RatzHäftad1 062 kr
Rechnerorientierte VerfahrenBernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch, Siegfried M. RumpHäftad500 kr
PASCAL-XSCRudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich, Rudi Klatte, Ulrich KulischHäftad534 kr
Überblicke Mathematik 1996/97Albrecht Beutelspacher, Norbert Henze, Ulrich Kulisch, Hans WußingHäftad500 kr