Mendeley出力
＜図書＞
計算可能性の理論
ケイサン カノウセイ ノ リロン
| 責任表示 | Michael Sipser著 ; 阿部正幸 [ほか] 訳 |
|---|---|
| シリーズ | 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 共立出版 , 2008.5 |
| 本文言語 | 日本語 |
| 大きさ | xxiii, [159]-292, 48p : 挿図 ; 21cm |
| 目次 | 第1巻 オートマトンと言語(序論 正規言語 文脈自由言語) 第2巻 計算可能性の理論(Church‐Turingの提唱 判定可能性 帰着可能性 計算可能性の理論における先進的な話題) 第3巻 複雑さの理論(時間の複雑さ 領域の複雑さ 問題の扱いにくさ 計算の複雑さの理論における先進的な話題)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 007.1/Si 8 | 2008 |
|
003112008024901 |
|
|||
|
|
|
理系図1F 開架 | 007.1/Si 8 | 2008 |
|
031112011000341 |
|
|||
|
|
|
理系図3F 数理独自 | SIPS/10/1-2a | 2008 |
|
023112008000640 |
|
|||
|
|
|
理系図3F 数理独自 | SIPS/10/1-2aA | 2011 |
|
033112013000271 |
|
書誌詳細
| 一般注記 | その他の訳者: 植田広樹, 藤岡淳, 渡辺治 監訳: 太田和夫, 田中圭介 原著第2版の翻訳 参考文献: 巻末p[1]-6 欧文索引: 巻末p[7]-27 和文索引: 巻末p[29]-48 |
|---|---|
| 著者標目 | Sipser, Michael 阿部, 正幸 <アベ, マサユキ> 植田, 広樹 <ウエダ, ヒロキ> 藤岡, 淳 <フジオカ, アツシ> 渡辺, 治(1958-) <ワタナベ, オサム> 太田, 和夫(1954-) <オオタ, カズオ> 田中, 圭介(1969-) <タナカ, ケイスケ> |
| 件 名 | BSH:オートマトン BSH:計算量理論 |
| 分 類 | NDC8:007.1 NDC9:007.1 |
| 書誌ID | 1001191398 |
| ISBN | 9784320122086 |
| NCID | BA86004337 |
| 巻冊次 | ISBN:9784320122086 ; PRICE:3000円+税 |
| 登録日 | 2009.09.18 |
| 更新日 | 2013.05.16 |