دانلود کتاب Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings (به فارسی: زبان ها و سیستم های برنامه نویسی: سومین سمپوزیوم آسیایی، APLAS 2005، تسوکوبا، ژاپن، 2-5 نوامبر 2005. مجموعه مقالات) نوشته شده توسط «Haruo Hosoya (auth.) – Kwangkeun Yi (eds.)»
اطلاعات کتاب زبان ها و سیستم های برنامه نویسی: سومین سمپوزیوم آسیایی، APLAS 2005، تسوکوبا، ژاپن، 2-5 نوامبر 2005. مجموعه مقالات
موضوع اصلی: علمی-محبوب
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Haruo Hosoya (auth.) – Kwangkeun Yi (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 442
حجم کتاب: 5 مگابایت
کد کتاب: 3540297359 , 9783540297352
نوبت چاپ: 1
توضیحات کتاب زبان ها و سیستم های برنامه نویسی: سومین سمپوزیوم آسیایی، APLAS 2005، تسوکوبا، ژاپن، 2-5 نوامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین سمپوزیوم آسیایی در مورد زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2005 است که در تسوکوبا، ژاپن در نوامبر 2005 برگزار شد.
24 مقاله کامل اصلاح‌شده همراه با 3 سخنرانی دعوت‌شده ارائه شد از بین 78 مورد ارسالی به دقت بررسی و انتخاب شدند. از جمله موضوعات تحت پوشش عبارتند از معناشناسی، نظریه نوع، تبدیل برنامه، تجزیه و تحلیل استاتیک، تأیید، محاسبات برنامه نویسی، زبان های برنامه نویسی تابعی، امنیت مبتنی بر زبان، سیستم های بلادرنگ، سیستم های جاسازی شده، طراحی سیستم های رسمی، اشیاء جاوا، تجزیه و تحلیل برنامه و بهینه سازی.
This book constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005.
The 24 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 78 submissions. Among the topics covered are semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, language based security, real-time systems, embedded systems, formal systems design, Java objects, program analysis and optimization.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.