福岡大学蔵書検索

検索結果一覧に戻る

Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
(Springer series in computational mathematics ; 53)

データ種別	図書
出版者	Singapore : Springer
出版年	c2019
形態	xiii, 467 p. : ill. (some col.) ; 25 cm
著者標目	*中尾, 充宏(1947-) <ナカオ, ミツヒロ> Plum, Michael 渡部, 善隆 <ワタナベ, ヨシタカ>
件　名	LCSH:Differential equations, Partial LCSH:Automatic theorem proving LCSH:Numerical calculations -- Verification 全ての件名で検索
分　類	NDC9:410.8 LCC:QA377 DC23:515/.353
書誌ID	LT01023443

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	410.8/SP8/53	2000000394260	9789811376689				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references (p. 447-462) and index
NCID	BB29341616
巻冊次	ISBN:9789811376689

目次／あらすじ