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

Author(s)

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

Bibliographic Information

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

• NCID: BA89603280
• Country Code: ja
• Title Language Code: eng
• Text Language Code: engjpn
• Place of Publication: 福岡
• Pages/Volumes: v, 129 p.
• Size: 26cm
• Parent Bibliography ID:
  • BA78248427