-- -- 岩波書店 -- 1982.5 -- 007.08

※所蔵欄の「帯出区分」が「貸出禁止」のものや、「状態」が「在架」のものは予約できません。

※奄美図書館からの取り寄せは、システムの関係上、来館しての手続きが必要です。

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県図一般 書庫A2層 0076/イ81 /12 0111644134 一般図書   在架

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
県図一般 1 0 1

資料詳細

タイトル 岩波講座 情報科学 12
書名カナ イワナミ コウザ ジョウホウ カガク
出版地 東京
出版者 岩波書店
出版者カナ イワナミ ショテン
出版年 1982.5
ページ数 282p
大きさ 22cm
巻の書名 算法表現論
巻の書名カナ サンポウ ヒョウゲンロン
各巻著者 木村 泉/著
各巻著者カナ キムラ,イズミ
一般件名 情報科学
NDC分類(9版) 007.08
定価 ¥2500

内容一覧

タイトル 著者名 ページ
アルゴリスムにおける具体と抽象 木村 泉/著
算法表現の基礎 米沢 明憲/著
作用的算法表現の基礎 米沢 明憲/著
作用型算法言語 米沢 明憲/著
命令型算法言語 米沢 明憲/著
命令的表現の抽象化 米沢 明憲/著
非決定性と並列性の算法表現 米沢 明憲/著
算法表現の統一モデル 米沢 明憲/著
算法表現(プログラム)の意味論 米沢 明憲/著
算法表現(プログラム)の証明論 米沢 明憲/著