Home Advanced Search

Advanced Search - Page 1

Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
  • PDF
  • English
  • Year: 2002
  • Author: Dr. Ulrich W. Kulisch (auth.)
Computer Arithmetic in Theory and Practice
  • PDF
  • English
  • Year: 1981
  • Author: Ulrich W. Kulisch, Willard L. Miranker and Werner Rheinboldt (Auth.)
Scientific Computation with Automatic Result Verification
  • PDF
  • English
  • Year: 1988
  • Author: Prof. Dr. U. Kulisch, Prof. Dr. H. J. Stetter (auth.), Prof. Dr. Ulrich Kulisch, Prof. Dr. Hans J. Stetter (eds.)
Computer Arithmetic and Validity: Theory, Implementation, and Applications
  • PDF
  • English
  • Year: 2013
  • Author: Ulrich Kulisch
Computer Arithmetic and Validity: Theory, Implementation, and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Ulrich Kulisch
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
  • PDF
  • English
  • Year: 1995
  • Author: Prof. Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Matthias Hocks, Dr. Dietmar Ratz (auth.)
A New Approach to Scientific Computation
  • PDF
  • English
  • Year: 1983
  • Author: Ulrich W. Kulisch, Willard L. Miranker
Grundlagen der Computer-Arithmetik
  • PDF
  • German
  • Year: 1977
  • Author: Prof. Dr. R. Albrecht (auth.), Prof. Dr. Rudolf Albrecht, Prof. Dr. Ulrich Kulisch (eds.)
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
  • PDF
  • English
  • Year: 1993
  • Author: Prof.Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Dietmar Ratz, Dipl-Math. oec. Matthias Hocks (auth.)
PASCAL-XSC: Sprachbeschreibung mit Beispielen
  • PDF
  • German
  • Year: 1991
  • Author: Dr. Rudi Klatte, Prof. Dr. Ulrich Kulisch, Dr. Michael Neaga, Dipl.-Math. techn. Dietmar Ratz, Prof. Dr. Christian Ullrich (auth.)
search