خانه / تمامی کتاب‌ها / کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Name: Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Rating: 4.8 (11 reviews)
Author: Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)

دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

نویسنده: Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)

شماره سریال: ۹۷۸۳۶۴۲۱۴۱۸۵۰

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۱۰

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۵ مگابایت

تعداد صفحات

۴۱۰.۰

قیمت کتاب: ۷۰,۹۰۰ تومان

توضیحات

معرفی کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings نوشته Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها