Theory and Applications of Satisfiability Testing SAT 2019 - - 書籍 - Springer Nature Switzerland AG - 9783030242572 - 2019年6月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition

価格
¥ 8.853
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月27日 - 年8月6日

お客様の声：

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

まだ評価がありません

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.

425 pages, 37 Illustrations, color; 478 Illustrations, black and white; XIV, 425 p. 515 illus., 37 i

メディア 書籍     Book
リリース済み 2019年6月29日
ISBN13 9783030242572
出版社 Springer Nature Switzerland AG
ページ数 425
寸法 150 × 220 × 20 mm   ·   663 g
言語 ドイツ語  
編集者 Janota, Mikolas
編集者 Lynce, Ines

Mere med samme udgiver