KIT | KIT-Bibliothek | Impressum | Datenschutz

C++ toolbox for verified computing. Vol. 1. Basic numerical problems

Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar



Originalveröffentlichung
DOI: 10.1007/978-3-642-79651-7
Seitenaufrufe: 13
seit 14.05.2018
Zugehörige Institution(en) am KIT Institut für Angewandte und Numerische Mathematik (IANM)
Publikationstyp Buch
Jahr 1997
Sprache Englisch
Identifikator ISBN: 978-3-642-79653-1
KITopen-ID: 68297
Verlag Springer, Berlin
Umfang 382 S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page