خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing – SAT 2018

نظریه و کاربردهای آزمایش رضایتمندی - SAT 2018

Theory and Applications of Satisfiability Testing – SAT 2018

نویسنده: Olaf Beyersdorff, Christoph M. Wintersteiger

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: XIX, 452 [458]

زبان: English

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

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