検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

岩波講座 情報科学 12

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


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 中央図書館一般書庫007/I95/129102427327一般在庫 
2 西部図書館一般書庫0076/24/121100067111一般在庫 

書誌詳細

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

タイトルコード 1000000386680
書誌種別 図書
書名 岩波講座 情報科学 12
巻次(漢字) 12
書名ヨミ イワナミ コウザ ジョウホウ カガク
各巻書名 算法表現論
言語区分 日本語
出版地 東京
出版者 岩波書店
出版年月 1982.5
本体価格 ¥2500
数量 282p
大きさ 22cm
分類記号 007.08
件名 情報科学



内容細目

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

関連資料

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

1982
1982
情報科学
前のページへ

本文はここまでです。


ページの終わりです。