C++ toolbox for verified computing 1 : Basic numerical problems : Theory, algorithms, and programs [ Livre] / Rolf, Hammer ; Matthias, Hocks ; Ulrich, Kulisch

Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Springer, 1995, BerlinDescription : 377 pagesISBN: 3540591109.Classification: F Informatique théoriqueSujet - Nom commun: Ordinateurs -- Programmation | C plus-plus (langage de programmation) | Analyse numérique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F HAM (Browse shelf) Available F Informatique théorique 00006678

Powered by Koha