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