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: 004.1 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 | 004.1 HAM (Browse shelf) | Available | 004.1 Informatique théorique | 00006678 |