دانلود کتاب Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
دانلود کتاب Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings
نرم افزار جاسازی شده: اولین کارگاه بین المللی، EMSOFT 2001 تاهو سیتی، کالیفرنیا، ایالات متحده، 8 تا 10 اکتبر 2001 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 504 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540426736,9783540426738 |
| نوبت چاپ | 1 |
دانلود کتاب 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 |
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: چهارمین کنفرانس بین المللی، FORMATS 2006، پاریس، فرانسه، 25-27 سپتامبر 2006. مجموعه مقالات
| موضوع اصلی | کامپیوتر - علوم کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 372 / 377 |
| حجم فایل | 5.31 مگابایت |
| کد کتاب | 3540450262 , 9783540450269 |
| نوبت چاپ | 1 |
دانلود کتاب Handbook of Model Checking
دانلود کتاب Hybrid Systems III: Verification and Control
دانلود کتاب Hybrid Systems: Computation and Control: First International Workshop, HSCC’98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
سیستم های ترکیبی: محاسبات و کنترل: اولین کارگاه بین المللی، HSCC'98 برکلی، کالیفرنیا، ایالات متحده، 13 تا 15 آوریل، 1998 مجموعه مقالات
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 417 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540643583,9783540643586 |
| نوبت چاپ | 1 |