<図書>
C++ toolbox for verified computing
責任表示 | R. Hammer ... [et al.] |
---|---|
データ種別 | 図書 |
出版情報 | Berlin : Springer |
子書誌情報
1 | 1 Basic numerical problems : theory, algorithms, and programs / R. Hammer ... [et al.] Berlin : Springer , c1995 |
書誌詳細
著者標目 | Hammer, R. (Rolf), 1961- |
---|---|
書誌ID | 1000285462 |
NCID | BA25275716 |
登録日 | 2009.09.11 |
更新日 | 2009.09.17 |