خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

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

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

نویسنده: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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