دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
دانلود کتاب برنامه نویسی عملکردی پیشرفته: پنجمین مدرسه بین المللی ، AFP 2004 ، تارتو ، استونی ، 14 تا 21 آگوست 2004 ، سخنرانی های تجدید نظر شده
مشخصات کتاب
Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Atze Dijkstra, S. Doaitse Swierstra (auth.), Varmo Vene, Tarmo Uustalu (eds.) سری: Lecture Notes in Computer Science 3622 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540285407, 9783540285403 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 365 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب برنامه نویسی عملکردی پیشرفته: پنجمین مدرسه بین المللی ، AFP 2004 ، تارتو ، استونی ، 14 تا 21 آگوست 2004 ، سخنرانی های تجدید نظر شده: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی عملکردی پیشرفته: پنجمین مدرسه بین المللی ، AFP 2004 ، تارتو ، استونی ، 14 تا 21 آگوست 2004 ، سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی عملکردی پیشرفته: پنجمین مدرسه بین المللی ، AFP 2004 ، تارتو ، استونی ، 14 تا 21 آگوست 2004 ، سخنرانی های تجدید نظر شده
این کتاب آموزشی نه سخنرانی اصلاح شده را ارائه می دهد که در پنجمین مدرسه بین المللی برنامه نویسی عملکردی، AFP 2004، در تارتو، استونی در اوت 2004 ارائه شده است.
این کتاب نه سخنرانی زیر را ارائه می دهد که با دقت بررسی شده اند. فصل‌هایی که توسط مقامات برجسته در این زمینه نوشته شده است: تایپ Haskell با گرامر ویژگی، برنامه‌نویسی با فلش، Epigram: برنامه‌نویسی عملی با انواع وابسته، ترکیب انواع داده‌ها و افکت‌ها، GEC: ابزاری برای نمونه‌سازی سریع عمومی، پوسته‌ای کاربردی که روی Typed عمل می‌کند. و برنامه های کامپایل شده، اشکال زدایی اعلامی با بودا، برنامه نویسی وب سمت سرور در WASH، و Refactoring برنامه های کاربردی.
توضیحاتی درمورد کتاب به خارجی
This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004.
The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, Combining Datatypes and Effects, GEC: a toolkit for Generic Rapid Prototyping, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs.
فهرست مطالب
Front Matter....Pages -
Typing Haskell with an Attribute Grammar....Pages 1-72
Programming with Arrows....Pages 73-129
Epigram: Practical Programming with Dependent Types....Pages 130-170
Combining Datatypes and Effects....Pages 171-209
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications....Pages 210-244
A Functional Shell That Operates on Typed and Compiled Applications....Pages 245-272
Declarative Debugging with Buddha....Pages 273-308
Server-Side Web Programming in WASH....Pages 309-330
Refactoring Functional Programs....Pages 331-357
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب COMPUTER PROGRAMMING FOR BEGINNERS: 4 Books in 1. LINUX COMMAND-LINE + PYTHON Programming + NETWORKING + HACKING with KALI LINUX. Cybersecurity, Wireless, LTE, Networks, and Penetration Testing
دانلود کتاب Writing Idiomatic Python 3
دانلود کتاب Programming Distributed Applications with COM+ and Microsoft Visual Basic 6.0
دانلود کتاب Exam Ref 70-483 Programming in C#
دانلود کتاب C# 6.0 and the .NET 4.6 Framework (дополнительные файлы и приложения)
دانلود کتاب Handbook of Real-Time and Embedded Systems
دانلود کتاب Thinking in C++: Volume 2: Standard Libraries and Advanced Topics
دانلود کتاب Effective LabVIEW Programming
دانلود کتاب Xamarin.Forms Projects: Build multiplatform mobile apps and a game from scratch using C# and Visual Studio 2019
