دانلود کتاب SAT 2019: Theory and applications of satisfiability testing, 22 conf., Lisbon, Portugal
| عنوان فارسی | SAT 2019: نظریه و کاربردهای تست رضایتمندی، 22 conf.، لیسبون، پرتغال |
|---|---|
| عنوان اصلی | SAT 2019: Theory and applications of satisfiability testing, 22 conf., Lisbon, Portugal |
| ناشر | Springer |
| نویسنده | |
| ISBN | 9783030242572, 9783030242589 |
| سال نشر | 2019 |
| زبان | English |
| تعداد صفحات | 439 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد