دانلود کتاب 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 |
دانلود کتاب 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 |