- 在庫状況:在庫あり(1〜2日で出荷)
[日販商品データベースより]
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム/計算モデルと計算量/応用分野における計算理論/形式言語とオートマトン/計算モデル/プログラム意味論/システム検証理論
この商品をご覧のお客様は、こんな商品もチェックしています。
- 大常識
-
価格:880円(本体800円+税)
【2023年11月発売】
- 板書&イラストでよくわかる365日の全授業 小学校国語5年 上 改訂
-
価格:3,080円(本体2,800円+税)
【2024年03月発売】
- 彼女たちの戦争 嵐の中のささやきよ!
-
価格:1,870円(本体1,700円+税)
【2024年02月発売】
- 生成AI時代の新プログラミング実践ガイド
-
価格:3,300円(本体3,000円+税)
【2024年02月発売】
- たった2日でマスターできるiPhoneアプリ開発集中講座
-
価格:2,860円(本体2,600円+税)
【2023年11月発売】