دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم آسیا ، APLAS 2010 ، شانگهای ، چین ، 28 نوامبر - 1 دسامبر 2010. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
ویرایش: [1 ed.] نویسندگان: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.) سری: Lecture Notes in Computer Science 6461 : Programming and Software Engineering ISBN (شابک) : 9783642171642, 3642171648 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 440 [467] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم آسیا ، APLAS 2010 ، شانگهای ، چین ، 28 نوامبر - 1 دسامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم آسیا ، APLAS 2010 ، شانگهای ، چین ، 28 نوامبر - 1 دسامبر 2010. مجموعه مقالات
23 مقاله ارائه شده همراه با 4 مقاله دعوت شده، 2 ارائه سیستم و ابزار و 1 سخنرانی آموزشی به دقت بررسی و از 95 ارسال اولیه انتخاب شدند. این مقالات به موضوعات اساسی و عملی در زبان‌ها و سیستم‌های برنامه‌نویسی اختصاص دارد و شامل تحقیقات جاری در زمینه‌های زیر است: معناشناسی، منطق، نظریه بنیادی، طراحی زبان‌ها و محاسبات پایه، سیستم‌های نوع، کامپایلرها، مفسرها، ماشین‌های انتزاعی، اشتقاق برنامه. ، تجزیه و تحلیل، تبدیل، امنیت نرم افزار، ایمنی، تأیید، همزمانی، محدودیت ها، زبان های خاص دامنه، و همچنین ابزارهایی برای برنامه نویسی، تأیید، و پیاده سازی.
توضیحاتی درمورد کتاب به خارجی
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب User Experience Re-Mastered: Your Guide to Getting the Right Design
دانلود کتاب 4G Femtocells: Resource Allocation and Interference Management
دانلود کتاب EN 1993-1-5: 2006 Eurocode 3 - Design of steel structures - Part 1-5: Plated structural elements
