書誌情報｡

< 前へ [ 1 / 1 ]   次へ >
資料の種別｡ 図書｡ 資料情報のコピー
タイトル｡ 岩波講座 情報科学 12(001200)｡
各巻書名｡ 算法表現論｡
出版者｡ 岩波書店／東京｡
出版年｡ 1982.5｡
ページと大きさ｡ 282p／22cm｡
件名｡ 電子計算機｡
分類｡ NDC8 版：007.6｡
NDC10版：007.08｡
内容細目｡ アルゴリスムにおける具体と抽象 / 木村/泉‖著(キムラ,イズミ) ; 算法表現の基礎 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 作用的算法表現の基礎 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 作用型算法言語 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 命令型算法言語 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 命令的表現の抽象化 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 非決定性と並列性の算法表現 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 算法表現の統一モデル / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 算法表現(プログラム)の意味論 / 米沢/明憲‖著(ヨネザワ,アキノリ) ; 算法表現(プログラム)の証明論 / 米沢/明憲‖著(ヨネザワ,アキノリ)｡
価格｡ ¥2500｡
タイトルコード｡ 5010066682｡
ヨミの情報｡ タイトル：イワナミ コウザ ジョウホウ カガク001200｡
件名： デンシ ケイサンキ｡

貸出情報｡

貸出可能な資料｡ 貸出中の資料｡ 館内でのみ利用可能な資料｡ 予約数｡
貸出可能な資料｡
1 冊
貸出中の資料
0 冊
館内でのみ利用可能な資料
0 冊
予約数
0 件

所蔵情報｡

状態についての詳細は、こちらを参照してください。
番号｡ 資料番号｡ 所蔵館｡ 配架場所（配架案内）｡ 請求記号｡ 状態｡
1｡
資料番号：
1001139128｡
所蔵館：
宮城県図書館｡
配架場所：
書庫内資料（一般４）（書庫内の資料です ３階貸出カウンターへどうぞ）｡
請求記号：
549.9 
ｼ5 
12 
状態：
在架｡
このページのURL：https://www.library.pref.miyagi.jp/wo/opc_srh/srh_detail/5010066682
< 前へ [ 1 / 1 ]   次へ >
書誌、所蔵ページの表示は以上です。

宮城県図書館

〒981-3205 宮城県仙台市泉区紫山1-1-1 TEL：022-377-8441(代表） FAX：022-377-8484  このメールアドレスはスパムボットから保護されています。閲覧するにはJavaScriptを有効にする必要があります。