ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

دانلود کتاب روندهای برنامه نویسی کاربردی: یازدهمین سمپوزیوم بین المللی ، TFP 2010 ، نورمن ، اوکی ، ایالات متحده آمریکا ، 17 تا 19 مه 2010. مقالات منتخب اصلاح شده

Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

مشخصات کتاب

Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

ویرایش: [1 ed.] 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 6546 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642229411, 3642229417 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 215
[223] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

قیمت کتاب (تومان) : 29,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روندهای برنامه نویسی کاربردی: یازدهمین سمپوزیوم بین المللی ، TFP 2010 ، نورمن ، اوکی ، ایالات متحده آمریکا ، 17 تا 19 مه 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روندهای برنامه نویسی کاربردی: یازدهمین سمپوزیوم بین المللی ، TFP 2010 ، نورمن ، اوکی ، ایالات متحده آمریکا ، 17 تا 19 مه 2010. مقالات منتخب اصلاح شده



این کتاب مجموعه مقالات پس از کنفرانس یازدهمین سمپوزیوم بین‌المللی گرایش‌ها در برنامه‌نویسی عملکردی، TFP 2010 است که در مه 2010 در نورمن، OK، ایالات متحده برگزار شد. از 26 ارسال در طی دو دور بررسی و بهبود. این مقالات شامل ایده‌های جدید برای refactoring، مدیریت پیچیدگی کد منبع، پیاده‌سازی زبان تابعی، زبان‌های گرافیکی، کاربردهای برنامه‌نویسی تابعی در ریاضیات محض، نظریه نوع، چندوظیفه و پردازش موازی، سیستم‌های توزیع‌شده، مدل‌سازی علمی، زبان‌های خاص دامنه، طراحی سخت‌افزار، آموزش، و آزمایش.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.



فهرست مطالب

Front Matter....Pages -
Evaluating Call-by-Need on the Control Stack....Pages 1-15
Typing Coroutines....Pages 16-30
An Expression Processor: A Case Study in Refactoring Haskell Programs....Pages 31-49
Static Balance Checking for First-Class Modular Systems of Equations....Pages 50-65
Graphical and Incremental Type Inference: A Graph Transformation Approach....Pages 66-83
Hygienic Macros for ACL2....Pages 84-101
What’s the Matter with Kansas Lava?....Pages 102-117
Types and Type Families for Hardware Simulation and Synthesis....Pages 118-133
Testing with Functional Reference Implementations....Pages 134-149
Every Animation Should Have a Beginning, a Middle, and an End....Pages 150-165
Functional Video Games in the CS1 Classroom....Pages 166-183
ComputErl – Erlang-Based Framework for Many Task Computing....Pages 184-197
Monad Factory: Type-Indexed Monads....Pages 198-213
Back Matter....Pages -




نظرات کاربران