Numerical validation in current hardware architectures : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers. (Lecture Notes in Computer Science ; 5492)
Numerical validation in current hardware architectures : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers.