دانلود کتاب Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings
مدلها و زبانهای هماهنگی: پنجمین کنفرانس بینالمللی، COORDINATION 2002 یورک، بریتانیا، 8 تا 11 آوریل، 2002 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 412 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540434100,9783540434108 |
| نوبت چاپ | 1 |
دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2004, Revised Selected Papers
استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 197 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540489282,9783540489283 |
| نوبت چاپ | 1 |