دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
دانلود کتاب نظریه و کاربردهای آزمون رضایتمندی - SAT 2017: 20th International Conference، Melbourne، VIC، Australia، 28 اوت - 1 سپتامبر 2017، Proceedings
مشخصات کتاب
Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
ویرایش: نویسندگان: Gaspers. Serge, Walsh. Toby سری: Lecture notes in computer science 10491; LNCS sublibrary. SL 1 Theoretical computer science and general issues ISBN (شابک) : 9783319662626, 9783319662633 ناشر: سال نشر: 2017 تعداد صفحات: 476 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و کاربردهای آزمون رضایتمندی - SAT 2017: 20th International Conference، Melbourne، VIC، Australia، 28 اوت - 1 سپتامبر 2017، Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Numerical differential equations: theory and technique, ODE methods, finite differences, finite elements and collocation
