Результаты поиска - "Floating-point arithmetic."

  1. 1
    Значок книги

    Defining the IEEE-854 floating-point standard in PVS / Paul S. Miner.

    Опубликовано 1995
    ‌

    Добавить в Избранное
    Сохранить в:
  2. 2
    Значок книги

    Interpretation of IEEE-854 floating-point standard and definition in the HOL system / Victor A. Carreño.

    Опубликовано 1995
    ‌

    Добавить в Избранное
    Сохранить в:
  3. 3
    Значок книги

    Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises / Michael L. Overton.

    Опубликовано ©2001
    ‌

    Добавить в Избранное
    Сохранить в:
  4. 4
    Значок книги

    Error-free computation : why it is needed and methods for doing it / by Robert Todd Gregory.

    Опубликовано 1980
    ‌

    Добавить в Избранное
    Сохранить в:
  5. 5
    Значок книги

    Methods and applications of error-free computation / R.T. Gregory, E.V. Krishnamurthy.

    Опубликовано ©1984
    ‌

    Добавить в Избранное
    Сохранить в:
  6. 6
    Значок книги

    Grundlagen der Computer-Arithmetik / herausgegeben von R. Albrecht und U. Kulisch.

    Опубликовано ©1977
    ‌

    Добавить в Избранное
    Сохранить в:
  7. 7
    Значок книги

    On the accuracy of solving triangular systems in parallel / Nai-Kuan Tsao.

    Опубликовано 1988
    ‌

    Добавить в Избранное
    Сохранить в:
  8. 8
    Значок книги

    Symbolic algebraic methods and verification methods / Göetz Alefeld [and others] (eds.).

    Опубликовано ©2001
    ‌

    Добавить в Избранное
    Сохранить в:
  9. 9
    Значок книги

    Methods and applications of error-free computation / R.T. Gregory, E.V. Krishnamurthy.

    Опубликовано 1984
    ‌

    Добавить в Избранное
    Сохранить в:
  10. 10
    Значок книги

    Computer arithmetic and validity : theory, implementation, and applications / Ulrich Kulisch.

    Опубликовано ©2008
    ‌

    Добавить в Избранное
    Сохранить в:
  11. 11
    Значок книги

    Floating-point computation / Pat H. Sterbenz.

    Опубликовано ©1974
    ‌

    Добавить в Избранное
    Сохранить в:
  12. 12
    Значок книги

    Floating-point computation / Pat H. Sterbenz.

    Опубликовано ©1974
    ‌

    Добавить в Избранное
    Сохранить в:
  13. 13
    Значок книги

    Grundlagen der Computer-Arithmetik / herausgegeben von R. Albrecht und U. Kulisch.

    Опубликовано 1977
    ‌

    Добавить в Избранное
    Сохранить в:
  14. 14
    Значок книги

    Code quality : the open source perspective / Diomidis Spinellis.

    Опубликовано ©2006
    ‌

    Добавить в Избранное
    Сохранить в:
  15. 15
    Значок книги

    The engineering of numerical software / Webb Miller.

    Опубликовано ©1984
    ‌

    Добавить в Избранное
    Сохранить в:
  16. 16
    Значок книги

    Computer arithmetic / edited by Earl E. Swartzlander, Jr.

    Опубликовано 1990
    ‌

    Добавить в Избранное
    Сохранить в:
  17. 17
    Значок книги

    Fundamentals of numerical computing / L.F. Shampine, R.C. Allen, Jr., S. Pruess.

    Опубликовано 1997
    ‌

    Добавить в Избранное
    Сохранить в:
  18. 18
    Значок книги

    Introduction to MATLAB with numerical preliminaries / Alexander Stanoyevitch.

    Опубликовано ©2005
    ‌

    Добавить в Избранное
    Сохранить в:
  19. 19
    Значок книги

    Computer programming : a mixed language approach / by Marvin L. Stein and William D. Munro.

    Опубликовано 1964
    ‌

    Добавить в Избранное
    Сохранить в:
  20. 20
    Значок книги

    Introduction to numerical ordinary and partial differential equations using MATLAB / Alexander Stanoyevitch.

    Опубликовано ©2005
    ‌

    Добавить в Избранное
    Сохранить в:

Инструменты поиска: