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

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」 表紙
※定期購読のイメージ画像
この商品は定期購読の取扱いがございません。

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」のバックナンバー

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」の内容

情報処理学会誌「情報処理」人気特集号「SAT技術の進化と応用~パズルからプログラム検証まで~」の別刷デジタル版(iPad対応)。SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術まで
情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用~パズルからプログラム検証まで~」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。(解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋 剛秀、藤田 博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀)

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」の商品情報

商品名
情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」
出版社
情報処理学会
発行間隔
既刊

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」の目次配信サービス

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」最新号の情報がメルマガで届く♪ メールアドレスを入力して登録(解除)ボタンを押してください。

※登録は無料です
※登録・解除は、各雑誌の商品ページからお願いします。/~\Fujisan.co.jpで既に定期購読をなさっているお客様は、マイページからも登録・解除及び宛先メールアドレスの変更手続きが可能です。
以下のプライバシーポリシーに同意の上、登録して下さい。

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」のレビューはまだありません

情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」の所属カテゴリ一覧

この雑誌の読者はこちらの雑誌も買っています!

Fujisanとは?

日本最大級雑誌の定期購読サービスを提供

デジタル雑誌をご利用なら

最新号〜バックナンバーまで7000冊以上の雑誌
(電子書籍)が無料で読み放題!
タダ読みサービスを楽しもう!