資料詳細

  • 1 件中、 1 件目

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

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

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /007//3-12 1101147551 一般 　 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル岩波講座 情報科学
タイトルカナイワナミ コウザ ジョウホウ カガク
巻次12
出版地東京
出版者岩波書店
出版年1982.5
ページ数282p
大きさ22cm
各巻書名算法表現論
各巻書名カナサンポウ ヒョウゲンロン
各巻著者木村 泉／著,米沢 明憲／著
各巻著者カナキムラ イズミ,ヨネザワ アキノリ
一般件名情報科学
NDC分類(8版) 007.08
書誌番号1100078527

ページの先頭へ

内容一覧

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

ページの先頭へ

レビュー一覧

レビューが登録されていません。

ページの先頭へ