دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
تئوری و کاربردهای تست رضایتمندی - SAT 2008: یازدهمین کنفرانس بین المللی، SAT 2008، گوانگژو، چین، 12-15 مه 2008. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 305 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540797181,9783540797180 |
| نوبت چاپ | 1 |