検索結果 2 件
紙図書
全国の図書館
紙図書
全国の図書館
- 目次・記事International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany Consortium "Math for industry...
- 関連情報International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany Consortium "Math for industry...
検索結果は以上です。