Resultados da pesquisa - "Floating-point arithmetic"

  1. 1
    Imagem da capa

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

    Publicado em 1995
    Livro

    Adic. favoritos
    Na minha lista:
  2. 2
    Imagem da capa

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

    Publicado em 1995
    Livro

    Adic. favoritos
    Na minha lista:
  3. 3
    Imagem da capa

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

    Publicado em ©2001
    Livro

    Adic. favoritos
    Na minha lista:
  4. 4
    Imagem da capa

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

    Publicado em 1980
    Livro

    Adic. favoritos
    Na minha lista:
  5. 5
    Imagem da capa

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

    Publicado em ©1984
    Livro

    Adic. favoritos
    Na minha lista:
  6. 6
    Imagem da capa

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

    Publicado em ©1977
    Livro

    Adic. favoritos
    Na minha lista:
  7. 7
    Imagem da capa

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

    Publicado em 1988
    Livro

    Adic. favoritos
    Na minha lista:
  8. 8
    Imagem da capa

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

    Publicado em ©2001
    Livro

    Adic. favoritos
    Na minha lista:
  9. 9
    Imagem da capa

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

    Publicado em 1984
    Livro

    Adic. favoritos
    Na minha lista:
  10. 10
    Imagem da capa

    Floating-point computation / Pat H. Sterbenz.

    Publicado em ©1974
    Livro

    Adic. favoritos
    Na minha lista:
  11. 11
    Imagem da capa

    Floating-point computation / Pat H. Sterbenz.

    Publicado em ©1974
    Livro

    Adic. favoritos
    Na minha lista:
  12. 12
    Imagem da capa

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

    Publicado em ©2008
    Livro

    Adic. favoritos
    Na minha lista:
  13. 13
    Imagem da capa

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

    Publicado em 1977
    Livro

    Adic. favoritos
    Na minha lista:
  14. 14
    Imagem da capa

    Code quality : the open source perspective / Diomidis Spinellis.

    Publicado em ©2006
    Livro

    Adic. favoritos
    Na minha lista:
  15. 15
    Imagem da capa

    The engineering of numerical software / Webb Miller.

    Publicado em ©1984
    Livro

    Adic. favoritos
    Na minha lista:
  16. 16
    Imagem da capa

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

    Publicado em 1990
    Livro

    Adic. favoritos
    Na minha lista:
  17. 17
    Imagem da capa

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

    Publicado em 1997
    Livro

    Adic. favoritos
    Na minha lista:
  18. 18
    Imagem da capa

    Introduction to MATLAB with numerical preliminaries / Alexander Stanoyevitch.

    Publicado em ©2005
    Livro

    Adic. favoritos
    Na minha lista:
  19. 19
    Imagem da capa

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

    Publicado em 1964
    Livro

    Adic. favoritos
    Na minha lista:
  20. 20
    Imagem da capa

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

    Publicado em ©2005
    Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: