Home Advanced Search

Advanced Search - Page 1

Wissenschaftliches Rechnen mit Ergebnisverifikation
  • PDF
  • German
  • Year: 1990
  • Author: Ulrich Kulisch (editor)
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
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
  • PDF
  • English
  • Year: 2002
  • Author: Dr. Ulrich W. Kulisch (auth.)
A New Approach to Scientific Computation
  • PDF
  • English
  • Year: 1983
  • Author: Ulrich W. Kulisch, Willard L. Miranker
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.)
Grundlagen der Computer-Arithmetik
  • PDF
  • German
  • Year: 1977
  • Author: Prof. Dr. R. Albrecht (auth.), Prof. Dr. Rudolf Albrecht, Prof. Dr. Ulrich Kulisch (eds.)
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.)
Computer arithmetic and validity: Theory, implementation, and applications
  • PDF
  • English
  • Year: 2013
  • Author: Kulisch U.
search