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

دانلود کتاب STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings

49,000 تومان
STACS 93: دهمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر وورزبورگ، آلمان، 25 تا 27 فوریه، 1993 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 730
حجم فایل 7 مگابایت
کد کتاب 3540565035,9783540565031
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Systems and Software Verification: Model-Checking Techniques and Tools

49,000 تومان
تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 105
حجم فایل 4.59 مگابایت
کد کتاب 3540415238 , 9783540415237
افزودن به سبد خرید