خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

نظریه و کاربردهای آزمون رضایتمندی - SAT 2012: پانزدهمین کنفرانس بین المللی ، ترنتو ، ایتالیا ، 17 تا 20 ژوئن 2012. مجموعه مقالات

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

نویسنده: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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