خرید و دانلود نسخه کامل کتاب 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، مجموعه مقالات

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

نویسنده: Armin Biere, Carla P. Gomes

ناشر: Springer

سال انتشار: 2006

تعداد صفحات: 450

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت