資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 12 貸出可

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
７書庫 /547.01/イ/１２ 8110205804 一般 館内有

ページの先頭へ

資料詳細

書名 岩波講座 情報科学 12
出版者 岩波書店
出版年 1982.5
ページ数 282p
大きさ 22cm
一般件名 情報科学
NDC分類(9版) 007.08
巻の書名 算法表現論
各巻著者 木村 泉／著

ページの先頭へ

内容一覧

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

ページの先頭へ