دانلود کتاب Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
خودکارها، زبان ها و برنامه نویسی: سی و ششمین دوره آموزشی بین المللی، ICALP 2009، رودز، یونان، 5 تا 12 ژوئیه، 2009، مجموعه مقالات، قسمت دوم
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 597 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3642029299,9783642029295 |
| نوبت چاپ | 1 |
دانلود کتاب Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
دانلود کتاب Computer Aided Verification: 6th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings
دانلود کتاب FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و پنجمین کنفرانس بین المللی، حیدرآباد، هند، 15-18 دسامبر، 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 566 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540304959,9783540304951 |
| نوبت چاپ | 1 |
دانلود کتاب Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings
پیاده سازی و کاربرد Automata: هشتمین کنفرانس بین المللی، CIAA 2003 سانتا باربارا، کالیفرنیا، ایالات متحده آمریکا، 16-18 جولای، 2003 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 312 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540405615,9783540405610,9781417564774 |
| نوبت چاپ | 1 |