خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

نظریه و کاربردهای آزمون رضایتمندی - SAT 2009: دوازدهمین کنفرانس بین المللی ، SAT 2009 ، سوانزی ، انگلستان ، 30 ژوئن - 3 ژوئیه 2009.

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

نویسنده: Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

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

زبان: English

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

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