کتاب های Prof. Dr. Ulrich Kulisch
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
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
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
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
Dr. Ulrich W. Kulisch (auth.), 2002
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
