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