検索条件入力検索結果一覧:(本学所蔵) > Formal algorithmic elimination for PDEs
書誌詳細
  

NCIDBB17123673
タイトルFormal algorithmic elimination for PDEs / Daniel Robertz
出版者Cham : Springer , c2014
形態viii, 283 p. : ill. (some col.) ; 24 cm
注記Includes bibliographical references (p. 259-271) and indexes
シリーズ名Lecture notes in mathematics ; 2121
著者情報Robertz, Daniel, 1977-
和洋区分
標題言語英語
本文言語英語
出版国スイス
ISBN9783319114446
番号LCCN : 2014952682
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0理数学413.6:R214002346 研究室  

選択行を: