C++ toolbox for verified computing 1 / R. Hammer

Public ISBD Titre : C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs Type de document : texte imprimé Auteurs : R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias Editeur : Springer-Verlag Année de publication : 1995 Importance : xvi - 380 p. ISBN/ISSN/EAN : 978-3-540-59110-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : computational reliability  c-xsc library Index. décimale : 68C Monographie C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs [texte imprimé] / R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias . - [S.l.] : Springer-Verlag, 1995 . - xvi - 380 p. ISBN : 978-3-540-59110-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : computational reliability  c-xsc library Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11911	68C03	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1