دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed.]
نویسندگان: Bruno C. d. S. Oliveira
سری: Lecture Notes in Computer Science 12470
ISBN (شابک) : 9783030644369, 9783030644376
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: XVI, 374
[380]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 Mb
در صورت تبدیل فایل کتاب Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: هجدهمین سمپوزیوم آسیایی ، APLAS 2020 ، فوکوکا ، ژاپن ، 30 نوامبر - 2 دسامبر 2020 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات هجدهمین سمپوزیوم آسیایی زبانها و سیستمهای برنامهنویسی، APLAS 2020 است که در فوکوئوکا، ژاپن، در دسامبر 2020 برگزار شد.*
19 مقاله ارائهشده در این جلد به دقت بررسی و از 46 مقاله انتخاب شدند. ارسالی ها آنها در بخش های موضوعی به نام های: مقالات دعوت شده، انواع، تجزیه و تحلیل برنامه، معناشناسی، طراحی و پیاده سازی زبان، همزمانی، تأیید، و منطق و خودکار سازماندهی شدند.
* این کنفرانس به دلیل همه گیری کووید-19 به صورت مجازی برگزار شد.
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*
The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
* The conference was held virtually due to the COVID-19 pandemic.