Home Advanced Search

Advanced Search - Page 1

Numerical toolbox for verified computing 1
  • DJVU
  • English
  • Year: 1993
  • Author: R. Hammer, M. Hocks, U. Kulisch, D. Ratz
Достоверные вычисления: Базовые численные методы
  • DJVU
  • Russian
  • Year: 2005
  • Author: Кулиш У., и др.(Hammer,Hocks,Kulisch,Ratz)
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.)
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.)
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.)
Vorsicht Betrüger - Die bestenTricks der Trickbetrüger
  • EPUB
  • German
  • Year: 2012
  • Author: R. Ahrenz, W. Ratz
Deposition of diamond-like superhard materials
  • PDF
  • English
  • Year: 1999
  • Author: Wilhelm A. M. Kulisch (auth.)
search