لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings
Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

خرید و دانلود نسخه کامل کتاب Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

نظریه و کاربردهای آزمایش رضایت پذیری - SAT 2018: بیست و یکمین کنفرانس بین المللی ، شنبه 2018 ، به عنوان بخشی از کنفرانس منطق فدرال ، FLOC 2018 ، آکسفورد ، انگلیس ، 9 تا 12 ژوئیه 2018 برگزار شد: مجموعه مقالات

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

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

ناشر: Springer

سال انتشار: 2018

تعداد صفحات: 452 [473]

زبان: English

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

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

119,000 تومان 82,000 تومان