コンピュータ基礎理論ハンドブック 2

• 資料種別: 図書
• ISBN（セット）: 4-621-03920-2
• タイトル: コンピュータ基礎理論ハンドブック
• タイトルよみ: コンピュータ キソ リロン ハンドブック
• 巻次・部編番号: 2
• 著者・編者: Jan van Leeuwen [編]; 広瀬健 [ほか]監訳
• 著者標目: Leeuwen, Jan van; 広瀬, 健, 1935-1993
• 出版事項: 東京 : 丸善
• 出版年月日等: 1994.2.
• 出版年（W3CDTF）: 1994-02
• 数量: 2冊 ; 23cm
• 並列タイトル等: Handbook of theoretical computer science
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: プログラミング (コンピュータ); コンピュータ; アルゴリズム; オートマトン
• NDC8版: 007.64
• NDLC: M159; MA41
• 対象利用者: 一般
• 一般注記: コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 図書; 原タイトル: Handbook of theoretical computer science; ISBN(set) : 4-621-03920-2（(set)）
• DOI: 10.11501/13655304; https://doi.org/10.11501/13655304
• 国立国会図書館永続的識別子: info:ndljp/pid/13655304; https://dl.ndl.go.jp/pid/13655304
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 図書; https://dl.ndl.go.jp/collections/A00001
• 製作者: 国立国会図書館
• 製作年（W3CDTF）: 2024-01-12
• 公開開始日（W3CDTF）: 2024-06-21
• 受理日（W3CDTF）: 2024-05-26T23:33:16+09:00
• 記録形式（IMT）: image/jp2
• 入手条件・定価: 全56650円 (税込)
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象外
• 遠隔複写可否（NDL）: 可
• 請求記号: M159-E3086
• 原資料（JPNO）: 94035957
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

• 内容細目: 2 形式的モデルと意味論（提供元: 国立国会図書館デジタルコレクション）