دانلود کتاب Computability and complexity from a programming perspective
دانلود کتاب Computability and Complexity: From a Programming Perspective
دانلود کتاب Computability and Complexity: From a Programming Perspective (Foundations of Computing)
دانلود کتاب Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
دانلود کتاب Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
دانلود کتاب Partial Evaluation and Automatic Program Generation
دانلود کتاب Partial evaluation and automatic program generation
دانلود کتاب Partial evaluation and automatic program generation
دانلود کتاب Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
دانلود کتاب TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
تأیید، بررسی مدل، و تفسیر چکیده: دهمین کنفرانس بین المللی، VMCAI 2009، ساوانا، GA، ایالات متحده آمریکا، 18-20 ژانویه 2009. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 381 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540938990,9783540938996 |
| نوبت چاپ | 1 |
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings … Computer Science and General Issues)
تأیید، بررسی مدل، و تفسیر چکیده: دهمین کنفرانس بین المللی، VMCAI 2009، ساوانا، GA، ایالات متحده آمریکا، 18-20 ژانویه 2009. مجموعه مقالات ... علوم کامپیوتر و مسائل عمومی)
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 392 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540938990,9783540938996 |
| نوبت چاپ | 1 |