内容情報
[日販商品データベースより]
[日販商品データベースより]
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
この商品をご覧のお客様は、こんな商品もチェックしています。
- ポケット六法 令和８年版
-
価格：2,530円（本体2,300円＋税）
【2025年09月発売】
- 私はこうして勉強にハマった
-
価格：1,760円（本体1,600円＋税）
【2024年07月発売】
- 六法全書 令和８年版
-
価格：16,500円（本体15,000円＋税）
【2026年03月発売】
- 日本の霊性が甦るとき
-
価格：1,870円（本体1,700円＋税）
【2026年02月発売】
- エロってなんだろう？
-
価格：990円（本体900円＋税）
【2025年11月発売】
のマークが目印です。
