このページのリンク

<図書>
C++ toolbox for verified computing / R. Hammer ... [et al.]

出版者 Berlin : Springer
コード類 書誌ID=1000058606 NCID=BA25275716

子書誌情報を非表示