دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
دانلود کتاب روند برنامه ریزی تابع: 16 سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب بازبینی شده
مشخصات کتاب
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ویرایش: 1
نویسندگان: Manuel Serrano. Jurriaan Hage (eds.)
سری: Lecture Notes in Computer Science 9547
ISBN (شابک) : 9783319391090, 9783319391106
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 165
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب روند برنامه ریزی تابع: 16 سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب بازبینی شده: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند برنامه ریزی تابع: 16 سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روند برنامه ریزی تابع: 16 سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب بازبینی شده
این کتاب شامل مقالات منتخب اصلاح شده و کاملاً داوری شده شانزدهمین سمپوزیوم بین المللی روندها در برنامه ریزی کاربردی، TFP 2015، که در سوفیا آنتیپولیس، فرانسه، در ژوئن 2015 برگزار شد. 8 مقاله کامل اصلاح شده موجود در این جلد با دقت و انتخاب انتخاب شدند. از 26 ارسالی TFP یک انجمن بین المللی برای محققانی است که به تمام جنبه های برنامه نویسی عملکردی علاقه دارند و دیدگاهی گسترده از روندهای فعلی و آینده در این منطقه دارند. می‌خواهد محیطی پر جنب و جوش برای ارائه آخرین نتایج تحقیقات و سایر مشارکت‌ها باشد که در پیش‌نویس‌های ارائه شده قبل از سمپوزیوم شرح داده شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
فهرست مطالب
Front Matter....Pages I-VII
Lightweight Higher-Order Rewriting in Haskell....Pages 1-21
Towards a Theory of Reach....Pages 22-39
Functional Testing of Java Programs....Pages 40-59
Type Class Instances for Type-Level Lambdas in Haskell....Pages 60-84
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming....Pages 85-103
A Shallow Embedded Type Safe Extendable DSL for the Arduino....Pages 104-123
Programmable Signatures....Pages 124-135
Termination Proofs for Recursive Functions in FoCaLiZe ....Pages 136-156
Back Matter....Pages 157-157
