<図書>
Developments in reliable computing
責任表示 | edited by Tibor Csendes |
---|---|
データ種別 | 図書 |
出版情報 | Dordrecht : Kluwer Academic Pub. , c1999 |
本文言語 | 英語 |
大きさ | viii, 402 p ; 25 cm |
概要 | The present volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, e...ementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing. 続きを見る |
電子版へのリンク | https://hdl.handle.net/2324/6882654 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
|
中央図 自動書庫 | 007.6/C 94 | 1999 |
|
003212001002632 |
|
|||
|
|
理系図3F 数理独自 | P 99/DEVE/1 | c1999 |
|
023211999010630 |
|
書誌詳細
一般注記 | Reprinted from Reliable Computing, Vol. 5, No. 3, 1999 Papers presented at the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN-98, Budapest, Hungary |
---|---|
著者標目 | *International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (1998 : Budapest, Hungary) Csendes, Tibor |
件 名 | LCSH:Electronic data processing -- Reliability Congresses 全ての件名で検索 |
分 類 | LCC:QA76.9.E94 DC21:004 |
書誌ID | 1001395926 |
ISBN | 0792360575 |
NCID | BA45478851 |
巻冊次 | ISBN:0792360575 |
登録日 | 2009.11.02 |
更新日 | 2009.11.02 |