Bokus

Ulrich Kulisch

Visar alla böcker från författaren Ulrich Kulisch. Handla med fri frakt och snabb leverans.

  1. Computer Arithmetic and Validity

    Computer Arithmetic and Validity

    2013

  2. Wissenschaftliches Rechnen Mit Ergebnisverifikation

    Wissenschaftliches Rechnen Mit Ergebnisverifikation

    1990

  3. PASCAL-XSC

    PASCAL-XSC

    1992

  4. Perspectives on Enclosure Methods

    Perspectives on Enclosure Methods

    2001

  5. Scientific Computation with Automatic Result Verification

    Scientific Computation with Automatic Result Verification

    1988

  6. Überblicke Mathematik 1998

    Überblicke Mathematik 1998

    2013

  7. Rechnerorientierte Verfahren

    Rechnerorientierte Verfahren

    2013

  8. Rechnerorientierte Verfahren

    Rechnerorientierte Verfahren

    1986

  9. Überblicke Mathematik 1996/97

    Überblicke Mathematik 1996/97

    1996

  10. PASCAL-XSC

    PASCAL-XSC

    1991

  11. C-XSC

    C-XSC

    1993

  12. C-XSC

    C-XSC

    2012

  13. PASCAL-XSC

    PASCAL-XSC

    2012

  14. Numerical Toolbox for Verified Computing I

    Numerical Toolbox for Verified Computing I

    2012

  15. Numerical Toolbox for Verified Computing I

    Numerical Toolbox for Verified Computing I

    2011

  16. C++ Toolbox for Verified Computing I

    C++ Toolbox for Verified Computing I

    2012

  17. C++ Toolbox for Verified Computing I

    C++ Toolbox for Verified Computing I

    2011

  18. PASCAL-XSC

    PASCAL-XSC

    2013