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

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

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

نویسنده: Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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