International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany ＜COE lecture note : Kyushu University＞

書籍データ

著者名：editors, Faculty of Mathematics, Kyushu University他の作品を見る

出版社：九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」大学院教育改革支援プログラム「産業技術が求める数学博士と新修士養成」九州大学産業技術数理研究センター

発売日：2009.2

v, 129 p. 26cm

ISBN：