کتاب های 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
Nanotechnological Basis for Advanced Sensors
Wilhelm Kulisch (auth.), 2011
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Prof. Dr. Ulrich Kulisch, 1995
Достоверные вычисления: Базовые численные методы
Кулиш У., и др.(Hammer,Hocks,Kulisch,Ratz), 2005
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
Scientific Computation with Automatic Result Verification
Prof. Dr. U. Kulisch, 1988
Nanostructured Materials for Advanced Technological Applications
W. Kulisch, 2009
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