検索結果書誌詳細

  • ※「状態」が在庫の資料は予約できません。 現在の予約数は 0 件です。

蔵書情報

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

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

書誌情報サマリ

書名

岩波講座 情報科学 12(算法表現論)

出版者 岩波書店
出版年月 1982.5


この資料に対する操作

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

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

※この書誌は予約できません。

この資料に対する操作

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


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


資料情報

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

No. 資料番号 請求記号 資料種別 配架場所 帯出区分 状態 貸出
1 110020526007.6/イイ/12一般書庫1一般帯出可在庫 

関連資料

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

1982
1982
情報科学

書誌詳細

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

タイトルコード 1005010141540
書誌種別 図書
書名 岩波講座 情報科学 12(算法表現論)
書名ヨミ イワナミ コウザ ジョウホウ カガク
出版者 岩波書店
出版年月 1982.5
ページ数 282p
大きさ 22cm
分類記号9版 007.08
分類記号10版 007.08
件名1 情報科学



目次


内容細目

1 アルゴリスムにおける具体と抽象
木村 泉/著
2 算法表現の基礎
米沢 明憲/著
3 作用的算法表現の基礎
米沢 明憲/著
4 作用型算法言語
米沢 明憲/著
5 命令型算法言語
米沢 明憲/著
6 命令的表現の抽象化
米沢 明憲/著
7 非決定性と並列性の算法表現
米沢 明憲/著
8 算法表現の統一モデル
米沢 明憲/著
9 算法表現(プログラム)の意味論
米沢 明憲/著
10 算法表現(プログラム)の証明論
米沢 明憲/著
前のページへ

本文はここまでです。


ページの終わりです。