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

دانلود کتاب Compiling Esterel

49,000 تومان
تدوین استرل
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 342
حجم فایل 6 مگابایت
کد کتاب 0387706267,9780387706269
افزودن به سبد خرید
PDF

دانلود کتاب Compiling Esterel

49,000 تومان
تدوین استرل
موضوع اصلی ریاضیات کاربردی
نوع کالا کتاب الکترونیکی
تعداد صفحه 356
حجم فایل 1 مگابایت
کد کتاب 0387706267,9780387706269,9780387706283
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

49,000 تومان
تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 522
حجم فایل 4 مگابایت
کد کتاب 3540423451,9783540423454
نوبت چاپ 1
افزودن به سبد خرید