دانلود کتاب Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

49,000 تومان
نوع داده برنامه نویسی عمومی: مدرسه بهار بین المللی، SSDGP 2006، ناتینگهام، انگلستان، 24-27 آوریل، 2006، سخنرانی های تجدید نظر شده
موضوع اصلی سازمان و پردازش داده ها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 372
حجم فایل 3 مگابایت
کد کتاب 3540767851
نوبت چاپ 1

دانلود کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

49,000 تومان
آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 4 مگابایت
کد کتاب 3642049117,9783642049118
نوبت چاپ 1

دانلود کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

49,000 تومان
آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 3 مگابایت
کد کتاب 3642049117,9783642049118
نوبت چاپ 1