کتاب های Ulrich W. Kulisch
A New Approach to Scientific Computation
Ulrich W. Kulisch, Willard L. Miranker, 1983
Computer Arithmetic in Theory and Practice
Ulrich W. Kulisch, Willard L. Miranker, 1981
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Prof. Dr. Ulrich Kulisch, 1995
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Prof.Dr. Ulrich Kulisch, 1993
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
Dr. Ulrich W. Kulisch (auth.), 2002
C-XSC: A C++ Class Library for Extended Scientific Computing
Prof. Dr. Ulrich Kulisch, 1993
PASCAL-XSC: Language Reference with Examples
Prof. Dr. Ulrich Kulisch, 1992
Computer Arithmetic in Theory and Practice
Miranker, Willard L.; Kulisch, Ulrich, 1981
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz, 1995,2011
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Rolf Hammer; Matthias Hocks; Ulrich W. Kulisch, 2011
