دانلود کتاب Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings

49,000 تومان
دستورالعمل های نوظهور در محاسبات جاسازی شده و همه جا: EUC 2006 کارگاه های آموزشی: NCUS، SecUbiq، USN، TRUST، ESO، و MSA، سئول، کره، 1-4 اوت 2006. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 1034
حجم فایل 28 مگابایت
کد کتاب 3540368507,9783540368502
نوبت چاپ 1

دانلود کتاب Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

49,000 تومان
تایید زمان اجرا: هفتمین کارگاه بین المللی، RV 2007، ونکوور [ونکوور]، کانادا، 13 مارس 2007، مقالات منتخب اصلاح شده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 218
حجم فایل 2 مگابایت
کد کتاب 9783540773948
نوبت چاپ 1

دانلود کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

49,000 تومان
تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 492
حجم فایل 7 مگابایت
کد کتاب 3642166113,9783642166112
نوبت چاپ 1