Cargando…
Perspectives on enclosure methods
Autores principales: | Kulisch, Ulrich, Lohner, Rudolf, Facius, Axel |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2001
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-7091-6282-8 http://cds.cern.ch/record/1618348 |
Ejemplares similares
-
Advanced arithmetic for the digital computer: design of arithmetic units
por: Kulisch, Ulrich W
Publicado: (2002) -
Computer arithmetic in theory and practice
por: Kulisch, Ulrich W, et al.
Publicado: (1981) -
PASCAL-XSC: language reference with examples
por: Kulisch, Ulrich, et al.
Publicado: (1992) -
Numerical toolbox for verified computing
por: Kulisch, Ulrich, et al.
Publicado: (1993) -
C++ toolbox for verified computing
por: Kulisch, Ulrich, et al.
Publicado: (1995)