C++ Toolbox for Verified Computing : I Basic Numerical Problems Theory, Algorithms, and Programs with 29 figures

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Hammer Rolf (Auteur), Hocks Matthias (Auteur), Kulisch Ulrich (Auteur), Ratz Dietmar (Auteur)
Format : Livre
Langue : anglais
Titre complet : C++ Toolbox for Verified Computing. I, Basic Numerical Problems : Theory, Algorithms, and Programs with 29 figures / R. Hammer, M. Hocks, U. Kulisch... [et al.]
Publié : Berlin, Heidelberg, New York : Springer , copyright 1995
Description matérielle : 1 vol. (XV-377 p.)
Sujets :
Description
Variantes de titre : C++ toolbox for verified computing 1
C++ toolbox for verified computing one
Basic numerical problems : theory, algorithms and programs
Bibliographie : Bibliogr. p. [360]-365. Index
ISBN : 978-3-642-79653-1
0-387-59110-9
3-540-59110-9