検索結果資料の内容

ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索


この資料の情報へのリンク:

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0010708915図書一般418.1/アナ11/書庫貸出可 

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


書誌情報サマリ

タイトル

QEの計算アルゴリズムとその応用

人名 穴井 宏和/著
人名ヨミ アナイ ヒロカズ
出版者・発行者 東京大学出版会
出版年月 2011.8


書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル QEの計算アルゴリズムとその応用
サブタイトル 数式処理による最適化
並列タイトル Algorithms of Quantifier Elimination and their Applications:Optimization by Symbolic and Algebraic Methods
タイトルヨミ キューイー ノ ケイサン アルゴリズム ト ソノ オウヨウ
サブタイトルヨミ スウシキ ショリ ニ ヨル サイテキカ
人名 穴井 宏和/著   横山 和弘/著
人名ヨミ アナイ ヒロカズ ヨコヤマ カズヒロ
出版者・発行者 東京大学出版会
出版者・発行者等ヨミ トウキョウ ダイガク シュッパンカイ
出版地・発行地 東京
出版・発行年月 2011.8
ページ数または枚数・巻数 11,249p
大きさ 21cm
価格 ¥3600
ISBN 978-4-13-061406-1
ISBN 4-13-061406-1
注記 文献:p239〜243
分類記号 418.1
件名 数値計算-データ処理アルゴリズム
内容紹介 適用範囲の広い新しい計算ツール「QE」の理論と計算を学べる入門書。QEの概略を説明し、QEとその重要な代数計算法であるCAD法について詳解。応用事例なども紹介する。
著者紹介 1966年大分県生まれ。富士通研究所主任研究員。九州大学マス・フォア・インダストリ研究所教授。博士(情報理工学)。
言語区分 JPN
タイトルコード 1009811461370



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

数値計算-データ処理 アルゴリズム
もどる

本文はここまでです。


ページの終わりです。