Related Books
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2004-03-12 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Cas
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2004-02-12 - Publisher: Springer
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 an
Language: en
Pages: 128
Pages: 128
Type: BOOK - Published: 2017-07-11 - Publisher: Springer
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017
Language: en
Pages: 154
Pages: 154
Type: BOOK - Published: 2019-08-02 - Publisher: Springer
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2014-01-15 - Publisher:
