دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی، CAV 2004، بوستون، MA، ایالات متحده آمریکا، 13-17 ژوئیه، 2004. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 536 |
| حجم فایل | 10 مگابایت |
| کد کتاب | 3540223428,9783540223429,9783540278139 |
| نوبت چاپ | 1 |
دانلود کتاب Computer Aided Verification: 6th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings
دانلود کتاب Computer Aided Verification: 8th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
دانلود کتاب Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
تحولات در نظریه زبان: دهمین کنفرانس بین المللی، DLT 2006، سانتا باربارا، کالیفرنیا، ایالات متحده آمریکا، 26-29 ژوئن، 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 456 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 354035428X,9783540354284 |
| نوبت چاپ | 1 |
دانلود کتاب Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings
نرم افزار جاسازی شده: سومین کنفرانس بین المللی، EMSOFT 2003، فیلادلفیا، PA، ایالات متحده آمریکا، 13-15 اکتبر 2003. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 378 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540202234,9783540202233 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
روشهای رسمی برای طراحی سیستمهای بلادرنگ: مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، برتینورا، ایتالیا، 13 تا 18 سپتامبر 2004، سخنرانیهای اصلاحشده
| موضوع اصلی | کامپیوتر - علوم کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 297 / 301 |
| حجم فایل | 2.31 مگابایت |
| کد کتاب | 3540300805 , 9783540300809 |
| نوبت چاپ | 1 |
دانلود کتاب Hybrid Systems III: Verification and Control
دانلود کتاب Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings
سیستم های ترکیبی: محاسبات و کنترل: هفتمین کارگاه بین المللی، HSCC 2004، فیلادلفیا، PA، ایالات متحده آمریکا، 25-27 مارس، 2004. مجموعه مقالات
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 674 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 3540212590,9783540212591,9783540247432 |
| نوبت چاپ | 1 |