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