資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 12 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫２下 Map B/007/ｼﾞ/12 1101061112 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 岩波講座 情報科学 12
巻の書名 算法表現論
出版地 東京
出版者 岩波書店
出版年 1982.5
ページ数 282p
大きさ 22cm
一般件名 情報科学
分類番号 007.08

ページの先頭へ

内容一覧

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

ページの先頭へ