دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
دانلود کتاب Calculi Lambda Typed و برنامه های کاربردی: دهمین کنفرانس بین المللی، TLCA 2011، Novi Sad، صربستان، 1-3 ژوئن 2011. پرونده ها
مشخصات کتاب
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ویرایش: [1 ed.] نویسندگان: Alexandre Miquel (auth.), Luke Ong (eds.) سری: Lecture Notes in Computer Science 6690 ISBN (شابک) : 3642216900, 9783642216909 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 245 [258] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 60,000
در صورت تبدیل فایل کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Calculi Lambda Typed و برنامه های کاربردی: دهمین کنفرانس بین المللی، TLCA 2011، Novi Sad، صربستان، 1-3 ژوئن 2011. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Calculi Lambda Typed و برنامه های کاربردی: دهمین کنفرانس بین المللی، TLCA 2011، Novi Sad، صربستان، 1-3 ژوئن 2011. پرونده ها
این کتاب مجموعه مقالات داوری دهمین کنفرانس بینالمللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA 2011، در نووی ساد، صربستان، در ژوئن 2011 به عنوان بخشی از RDP 2011، ششمین کنفرانس فدرال در بازنویسی، کسر، و برنامه نويسي. 15 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 44 مقاله ارسالی انتخاب شدند. این مقالات نتایج تحقیقاتی غالب را در مورد تمام جنبههای فعلی محاسبات لامبدای تایپشده، از مسائل نظری و روششناختی گرفته تا کاربردها در زمینههای مختلف ارائه میکنند که به موضوعات مختلفی مانند نظریه اثبات، معناشناسی، اجرا، انواع و برنامهنویسی میپردازد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 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.
