International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany

著者

• 九州大学大学院数理学研究院 キュウシュウ ダイガク ダイガクイン スウリガク ケンキュウイン
• International Workshop on Verified Computations and Related Topics

書誌事項

International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany

editors, Faculty of Mathematics, Kyushu University

（COE lecture note : Kyushu University, v. 15）

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

詳細情報

• NII書誌ID(NCID): BA89603280
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: engjpn
• 出版地: 福岡
• ページ数/冊数: v, 129 p.
• 大きさ: 26cm
• 親書誌ID:
  • BA78248427