Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

René Alt ... [et al.] (eds.)

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-2991

10004003463

一般図書

詳細情報

刊年

2004

形態

x, 313 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2991

注記

Includes bibliographical references and index

"This book, which contains the proceedings of the Dagstuhl Seminar 03041 'Numerical Software with Result Verification' held from January 19 to 24, 2003, ..." - pref.

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Alt, René

Frommer, Andreas

Kearfott, R. Baker

Luther, Wolfram

International Dagstuhl Seminar, Numerical Software with Result Verification

分類

LCC:QA297

DC22:518/.0285/5

件名

Numerical analysis -- Computer programs -- Congresses

Computer software -- Verification -- Congresses

ISBN

3540212604

NCID

BA66755960

番号

LCCN : 2004042817