検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0007411762図書一般007.1/ｲﾀ06/書庫貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

計算モデル論入門

人名 井田 哲雄／共著
人名ヨミ イダ テツオ
出版者・発行者 サイエンス社
出版年月 2006.8

書誌詳細

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

書誌種別 図書
タイトル 計算モデル論入門
サブタイトル チューリング機械からラムダ計算へ
シリーズ名 Information Science & Engineering
シリーズ番号 F5
タイトルヨミ ケイサン モデルロン ニュウモン
サブタイトルヨミ チューリング キカイ カラ ラムダ ケイサン エ
シリーズ名ヨミ インフォメーション サイエンス アンド エンジニアリング
シリーズ番号ヨミ F5
人名 井田 哲雄／共著 　 浜名 誠／共著
人名ヨミ イダ テツオ　ハマナ マコト
出版者・発行者 サイエンス社
出版者・発行者等ヨミ サイエンスシャ
出版地・発行地 東京
出版・発行年月 2006.8
ページ数または枚数・巻数 4,125p
大きさ 21cm
価格 ￥１４００
ISBN 4-7819-1135-8
注記 文献:p121〜122
分類記号 007.1
件名 オートマトン
内容紹介 多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
著者紹介 1947年横浜生まれ。筑波大学大学院システム情報工学研究科教授。
言語区分 jpn
タイトルコード 1009810885579



目次


内容細目

関連資料

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

オートマトン
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。