دانلود کتاب Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
سیستم های تعاملی: طراحی، مشخصات، و تأیید: نهمین کارگاه بین المللی، DSV-IS 2002 روستوک، آلمان، 12 تا 14 ژوئن، 2002 مقالات تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 274 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540002669,9783540002666 |
| نوبت چاپ | 1 |
دانلود کتاب Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
سیستم های تعاملی طراحی، مشخصات، و تأیید: پانزدهمین کارگاه بین المللی، DSV-IS 2008 کینگستون، کانادا، 16-18 جولای، 2008 مقالات تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 314 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 3540705686,9783540705680 |
| نوبت چاپ | 1 |