理論計算機科学事典小林_直樹 [B47262307375]
理論計算機科学事典小林_直樹
[B47262307375]
販売価格: 5418円(税込)
商品詳細
理論計算機科学事典小林_直樹
「理論計算機科学事典」徳山 豪 / 小林 直樹
定価: ￥ 18000
#徳山豪 #徳山_豪 #小林直樹 #小林_直樹 #本 #コンピュータ／コンピュータ
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう，重要な基盤項目には例を用いたコンパクトな説明を付し，理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
●状態：
数年前に書店で購入し、カバーを外さずに一度だけ読みました。
●カバー：あり
●ヤケ：なし
●ヨレ：なし
●スレ：なし
●折り目：なし
●書き込み：なし
●その他、注意事項：
こちらの商品は即購入していただいて構いません。中古品ということをご理解の上ご検討ください。値下げや商品の確認をする場合はプロフィール欄をご確認の上コメントしてください。
理論計算機科学事典小林_直樹
理論計算機科学事典
理論計算機科学事典
理論計算機科学事典 | 徳山 豪, 小林 直樹 |本 | 通販 | Amazon
理論計算機科学事典
朝倉書店 on X:
珍しい 【裁断済み】理論計算機科学事典 コンピュータ/IT - ptao.org
