خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

تئوری و کاربردهای تست رضایتمندی - SAT 2016 : نوزدهمین کنفرانس بین المللی، بوردو، فرانسه، 5-8 ژوئیه 2016، مجموعه مقالات

Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

نویسنده: Nadia Creignou, Daniel Le Berre

ناشر: Springer

سال انتشار: 2016

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

زبان: English

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

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