خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

نظریه و کاربردهای آزمون رضایتمندی: هفتمین کنفرانس بین المللی ، SAT 2004 ، ونکوور ، پیش از میلاد ، کانادا ، 10-13 مه 2004 ، مقالات منتخب بازبینی شده

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

نویسنده: Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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