دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
تئوری و کاربردهای تست رضایتمندی - SAT 2006: نهمین کنفرانس بین المللی، سیاتل، WA، ایالات متحده آمریکا، 12-15 اوت، 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 440 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540372067,9783540372066 |
| نوبت چاپ | 1 |