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, 7-10 March 2009, University of Karlsruhe (TH), Germany
(COE lecture note : Kyushu University, v. 15)
九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」大学院教育改革支援プログラム「産業技術が求める数学博士と新修士養成」九州大学産業技術数理研究センター, 2009.2
大学図書館所蔵 全8件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ