Resultados de búsqueda - "Floating-point arithmetic."

  1. 1
    Imagen de Portada

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

    Publicado ©2010
    Libro

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

    Publicado ©2010
    Libro

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

    Publicado 1985
    Libro

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    Code quality : the open source perspective / Diomidis Spinellis.

    Publicado c2006
    Libro

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

    Publicado 1980
    Libro

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

    Publicado ©1990
    Libro

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

    Publicado c1984
    Libro

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

    Publicado ©1984
    Libro

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

    Publicado 2011
    Libro

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

    Numerical computation guide.

    Publicado ©1995
    Libro

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

    Publicado 2006
    Libro

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

    Introduction to MATLAB with numerical preliminaries / Alexander Stanoyevitch.

    Publicado c2005
    Libro

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

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

    Publicado 2017
    Libro

    Agregar a favoritos
    Guardado en:
  14. 14
    Imagen de Portada

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

    Publicado 2017
    Libro

    Agregar a favoritos
    Guardado en:
  15. 15
    Imagen de Portada

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

    Publicado ©2005
    Libro

    Agregar a favoritos
    Guardado en:
  16. 16
    Imagen de Portada

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

    Publicado 2002
    Libro

    Agregar a favoritos
    Guardado en:
  17. 17
    Imagen de Portada

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

    Publicado 1980
    Libro

    Agregar a favoritos
    Guardado en:
  18. 18
    Imagen de Portada

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

    Publicado ©2008
    Libro

    Agregar a favoritos
    Guardado en:
  19. 19
    Imagen de Portada

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

    Publicado 1973 ©1974
    Libro

    Agregar a favoritos
    Guardado en:
  20. 20
    Imagen de Portada

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

    Publicado c2001
    Libro

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: