نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Abstraction Refinement for Large Scale Model Checking

49,000 تومان
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 185
حجم فایل 9 مگابایت
کد کتاب 0387341552,9780387346007,9780387341552
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

49,000 تومان
مرزها در الگوریتم: اولین کارگاه بین المللی سالانه، FAW 2007، لانژو، چین، 1-3 اوت، 2007. مجموعه مقالات
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 348
حجم فایل 5 مگابایت
کد کتاب 3540738134,9783540738138
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

49,000 تومان
مرزها در الگوریتم: اولین کارگاه بین المللی سالانه، FAW 2007، لانژو، چین، 1-3 اوت، 2007. مجموعه مقالات
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 348
حجم فایل 4 مگابایت
کد کتاب 0302974335
نوبت چاپ 1
افزودن به سبد خرید