<図書>
C++ toolbox for verified computing / R. Hammer ... [et al.]
出版者 | Berlin : Springer |
---|---|
コード類 | 書誌ID=1000058606 NCID=BA25275716 |
子書誌情報を非表示
1 | 1 Basic numerical problems : theory, algorithms, and programs / R. Hammer ... [et al.] Berlin : Springer , c1995 |