دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
تئوری و کاربردهای تست رضایتمندی - SAT 2007: دهمین کنفرانس بین المللی، لیسبون، پرتغال، 28-31 مه، 2007. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 388 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540727876,9783540727873 |
| نوبت چاپ | 1 |