ブックパス

ページの移動

キャンセル

OK

キーワード

セーフサーチ

成人向けコンテンツの制限

並べ替え

価格

円 〜

条件追加

カテゴリー

コミック

女性コミック

男性コミック

小説

ラノベ

雑誌

趣味・実用

ビジネス

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

保有ポイント 0
あらすじ・作品情報
情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用~パズルからプログラム検証まで~」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。(解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋 剛秀、藤田 博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀)※各種権利等により、デジタル版には写真が非表示または記事そのものが収録されていない場合がございますのでご了承願います。
タイトル:
情報処理2016年8月号別刷「《特集》SAT技術の進化と応用~パズルからプログラム検証まで~」 (2016/07/15)
ジャンル:
雑誌パソコン・IT
著者:
情報処理学会
出版社:
情報処理学会
掲載誌:
ブックパス配信開始日:
2016/07/15
書籍発売日:
2016/07/15
ファイルサイズ:
42.2MB
配信方式:
ストリーミング、ダウンロード

おすすめ特集