Beelitz, Thomas; Bischof, Christian; Lang, Bruno; Schulte Althoff, Klaus
Berlin [u.a.] : Springer (2004)
Buchbeitrag
In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / René Alt ... (ed.)
Seite(n)/Artikel-Nr.: 198-205
Einrichtungen
- Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]
- Fachgruppe Informatik [120000]