Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Vali...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , , |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
2991 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Numerical software with result verification, international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003, revised papers, René Alt, Andreas Frommer, R. Baker Kearfott ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (X-313 p.), Lecture notes in computer science, 3-540-21260-4 • Numerical Software with Result Verification, Texte imprimé, 9783662169278 |