دانلود کتاب Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

49,000 تومان
منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس، فرانسه، 10 تا 13 سپتامبر 2001، مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 628
حجم فایل 4 مگابایت
کد کتاب 3540425543,9783540425540
نوبت چاپ 1

دانلود کتاب Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

49,000 تومان
نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: سومین کنفرانس بین المللی، VSTTE 2010، ادینبورگ، بریتانیا، 16-19 اوت 2010. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 217
حجم فایل 2 مگابایت
کد کتاب 364215056X,9783642150562
نوبت چاپ 1