دانلود کتاب Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
36,000 تومان
زبان ها و سیستم های برنامه نویسی: هفتمین سمپوزیوم آسیایی، APLAS 2009، سئول، کره، 14-16 دسامبر 2009. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 359 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3642106714,9783642106712 |
| نوبت چاپ | 1 |
| نویسنده | , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2009 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
زبان ها و سیستم های برنامه نویسی: هفتمین سمپوزیوم آسیایی، APLAS 2009، سئول، کره، 14-16 دسامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2009، برگزار شده در سئول، کره، در دسامبر 2009 است.
21 مقاله ارائه‌شده در این جلد. به همراه 3 سخنرانی دعوت شده به دقت بررسی و از بین 56 مورد ارسالی انتخاب شد. این مقالات به بخش های موضوعی در مورد تجزیه و تحلیل برنامه، تبدیل و بهینه سازی، سیستم نوع، منطق جداسازی، منطق و نظریه پایه، امنیت نرم افزار و تأیید، و امنیت و تأیید نرم افزار تقسیم می شوند.
This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.
The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 646 |
| حجم فایل | 20.18 مگابایت |
| کد کتاب | 3319702785 , 9783319702780 |
| نوبت چاپ | 1 |
دانلود کتاب Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
| موضوع اصلی | کامپیوتر - تجارت و فرهنگ کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 18.40 مگابایت |
| کد کتاب | 366258820X , 9783662588208 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.