Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues - Alessandro Cimatti - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642316111 - 2012年6月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Alessandro Cimatti
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 2012 edition

価格
SFr. 44,49
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers).

520 pages, 364 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年6月22日
ISBN13 9783642316111
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 500
寸法 155 × 235 × 26 mm   ·   721 g
言語 フランス語  
編集者 Cimatti, Alessandro
編集者 Sebastiani, Roberto

Alessandro Cimattiのすべてを見る ( 例： Paperback Book )