دانلود کتاب 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
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، اتریش، 8-10 سپتامبر 2010. مجموعه مقالات
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 257 / 265 |
| حجم فایل | 3.08 مگابایت |
| کد کتاب | 3642152961 , 9783642152962 |
| نوبت چاپ | 1 |
دانلود کتاب 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 |
