検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 下にある「予約カートに入れる」を押すと予約カートに追加できます。

蔵書情報

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

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

書誌情報サマリ

タイトル

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

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


この資料に対する操作

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

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

この資料に対する操作

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


登録する本棚ログインメモ


資料情報

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

No. 所蔵館 資料番号 資料種別 請求記号 配架場所 帯出区分 状態 在架
1 中央1210027569一般図書007/イ/閉架書庫通常貸出在庫 

関連資料

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

1982
1982
情報科学

書誌詳細

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

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



内容細目

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

目次

前のページへ

本文はここまでです。


ページの終わりです。