خرید و دانلود نسخه کامل کتاب Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

تئوری و کاربرد آزمون رضایتمندی: چهاردهمین کنفرانس بین المللی ، SAT 2011 ، آن آربر ، میشیگان ، ایالات متحده آمریکا ، 19 تا 22 ژوئن 2011 ، مجموعه مقالات

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

نویسنده: Karem A. Sakallah, Laurent Simon

ناشر: Springer

سال انتشار: 2011

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

زبان: English

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

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