情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」 2016/07/15 電子書籍版

770円（税込）
初めての方
6回使える！最大70%OFFクーポン
※値引上限等条件あり
詳細・獲得はこちら
初めてではない方
何回でも使える5%OFFクーポン

詳細・獲得はこちら
購入はこちら
- 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
  この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
マガジンパソコン・IT情報誌ビジネス・マネー誌一般誌
作品内容
情報処理学会誌「情報処理」人気特集号「SAT技術の進化と応用～パズルからプログラム検証まで～」の別刷デジタル版（iPad対応）。SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術まで　●情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用～パズルからプログラム検証まで～」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。（解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋剛秀、藤田博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀）

ページ数: 40ページ

出版社: 情報処理学会

提供開始日: 2016/07/15

ジャンル: 雑誌

情報処理2016年7月号別刷「《小特集》乗り物の情報セキュリティと安全性」 2016/06/15 電子書籍版