دانلود کتاب Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
فناوری خودکار برای تأیید و تجزیه و تحلیل: سومین سمپوزیوم بین المللی، ATVA 2005، تایپه، تایوان، 4-7 اکتبر 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 508 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 3540292098,9783540292098 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
تکنیکهای رسمی برای سیستمهای شبکهشده و توزیعشده - FORTE 2002: بیست و دومین کنفرانس بینالمللی IFIP WG 6.1 هیوستون، تگزاس، ایالات متحده، 11–14 نوامبر، 2002 مجموعه مقالات
| موضوع اصلی | شبکه سازی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 374 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540001417,9783540001416 |
| نوبت چاپ | 1 |
