دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
دانلود کتاب محاسبات و کاربردهای تایپ شده لامبدا: یازدهمین کنفرانس بین المللی، TLCA 2013، آیندهوون، هلند، 26-28 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ویرایش: [1 ed.] نویسندگان: Simon Peyton-Jones (auth.), Masahito Hasegawa (eds.) سری: Lecture Notes in Computer Science 7941 ISBN (شابک) : 9783642389450, 9783642389467 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 251 [260] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات و کاربردهای تایپ شده لامبدا: یازدهمین کنفرانس بین المللی، TLCA 2013، آیندهوون، هلند، 26-28 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات و کاربردهای تایپ شده لامبدا: یازدهمین کنفرانس بین المللی، TLCA 2013، آیندهوون، هلند، 26-28 ژوئن 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی
محاسبات و کاربردهای تایپ شده لامبدا، TLCA 2013، در آیندهوون،
هلند، در ژوئن 2013 به عنوان بخشی از RDP 2013، هفتمین کنفرانس
فدرال بازنویسی، کسر، و برنامه نویسی، همراه با بیست و چهارمین
کنفرانس بین المللی تکنیک ها و کاربردهای بازنویسی، RTA 2013، و
چندین رویداد مرتبط.
15 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 41
مقاله ارسالی انتخاب شدند. این مقالات نتایج تحقیقاتی غالب را
در مورد تمام جنبه‌های فعلی محاسبات لامبدا تایپ‌شده، از مسائل
نظری و روش‌شناختی گرفته تا کاربردها در زمینه‌های مختلف ارائه
می‌کنند که به موضوعات مختلفی مانند نظریه اثبات، معناشناسی،
اجرا، انواع و برنامه‌نویسی می‌پردازد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th
International Conference on Typed Lambda Calculi and
Applications, TLCA 2013, held in Eindhoven, The Netherlands,
in June 2013 as part of RDP 2013, the 7th Federated
Conference on Rewriting, Deduction, and Programming, together
with the 24th International Conference on Rewriting
Techniques and Applications, RTA 2013, and several related
events.
The 15 revised full papers presented were carefully reviewed
and selected from 41 submissions. The papers provide
prevailing research results on all current aspects of typed
lambda calculi, ranging from theoretical and methodological
issues to applications in various contexts addressing a wide
variety of topics such as proof-theory, semantics,
implementation, types, and programming.
