Resultados da pesquisa - "Floating-point arithmetic."

  1. 1
    Imagem da capa

    Handbook of floating-point arithmetic / Jean-Michel Muller [and others].

    Publicado em ©2010
    Livro

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

    Handbook of floating-point arithmetic / Jean-Michel Muller [and others].

    Publicado em ©2010
    Livro

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

    IEEE standard for binary floating-point arithmetic / sponsor, Standards Committee of the IEEE Computer Society.

    Publicado em 1985
    Livro

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

    Code quality : the open source perspective / Diomidis Spinellis.

    Publicado em c2006
    Livro

    Adic. favoritos
    Na minha lista:
  5. 5
    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:
  6. 6
    Imagem da capa

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

    Publicado em c1984
    Livro

    Adic. favoritos
    Na minha lista:
  7. 7
    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:
  8. 8
    Imagem da capa

    Improving floating-point programming / edited by Peter J.L. Wallis.

    Publicado em ©1990
    Livro

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

    Modern computer arithmetic / Richard P. Brent, Paul Zimmermann.

    Publicado em 2011
    Livro

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

    Numerical computation guide.

    Publicado em ©1995
    Livro

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

    A high-level formalization of floating-point numbers in PVS / Sylvie Boldo, Cesar Munoz.

    Publicado em 2006
    Livro

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

    Introduction to MATLAB with numerical preliminaries / Alexander Stanoyevitch.

    Publicado em c2005
    Livro

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

    Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond.

    Publicado em 2017
    Livro

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

    Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond.

    Publicado em 2017
    Livro

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

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

    Publicado em ©2005
    Livro

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

    Computer arithmetic in theory and practice / Ulrich W. Kulisch, Willard L. Miranker.

    Publicado em 1980
    Livro

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

    Accuracy and stability of numerical algorithms / Nicholas J. Higham.

    Publicado em 2002
    Livro

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

    Digital systems design using VHDL® / Charles H. Roth, Jr., Lizy Kurian John.

    Publicado em ©2008
    Livro

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

    Floating-point computation / [by] Pat H. Sterbenz.

    Publicado em 1973 ©1974
    Livro

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

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

    Publicado em c2001
    Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: