دانلود کتاب Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
دانلود کتاب Embedded Systems Design: The ARTIST Roadmap for Research and Development
دانلود کتاب FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
FM 2006: روش های رسمی: چهاردهمین سمپوزیوم بین المللی روش های رسمی، همیلتون، کانادا، 21-27 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 620 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540372156,9783540372158 |
| نوبت چاپ | 1 |