Home Advanced Search

Advanced Search - Page 1

Computer arithmetic and validity: Theory, implementation, and applications
  • PDF
  • English
  • Year: 2013
  • Author: Kulisch U.
Scientific Computing with Automatic Result Verification
  • DJVU
  • English
  • Year: 1993
  • Author: E. Adams and U. Kulisch (Eds.)
Scientific Computing with Automatic Result Verification
  • PDF
  • English
  • Year: 1993
  • Author: E. Adams and U. Kulisch (Eds.)
Scientific Computing with Automatic Result Verification
  • PDF
  • English
  • Year: 1993
  • Author: E. Adams and U. Kulisch (Eds.)
Numerical toolbox for verified computing 1
  • DJVU
  • English
  • Year: 1993
  • Author: R. Hammer, M. Hocks, U. Kulisch, D. Ratz
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
Computer arithmetic and validity: Theory, implementation, and applications
  • PDF
  • English
  • Year: 2008
  • Author: Kulisch, Ulrich
Computer Arithmetic and Validity: Theory, Implementation, and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Kulisch, Ulrich
search