11/29
時点_ポイント最大11倍
理論計算機科学事典 /徳山豪 小林直樹
販売価格
19,800
円 （税込）
送料無料
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 180
+キャンペーンポイント（期間・用途限定） 最大10倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名：徳山豪、小林直樹
出版社名：朝倉書店
発行年月：2022年01月
判型：Ａ５
ISBN：9784254122633
≪内容情報≫
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
著者名：徳山豪、小林直樹
出版社名：朝倉書店
発行年月：2022年01月
判型：Ａ５
ISBN：9784254122633
≪内容情報≫
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
