دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
دانلود کتاب برنامه نویسی کاربردی پیشرفته: ششمین مدرسه بین المللی ، AFP 2008 ، Heijen ، هلند ، مه 2008 ، سخنرانی های اصلاح شده
مشخصات کتاب
Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Umut A. Acar, Ruy Ley-Wild (auth.), Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) سری: Lecture Notes in Computer Science 5832 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642046517, 9783642046513 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 344 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی پیشرفته: ششمین مدرسه بین المللی ، AFP 2008 ، Heijen ، هلند ، مه 2008 ، سخنرانی های اصلاح شده: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، تئوری محاسبات
در صورت تبدیل فایل کتاب Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی کاربردی پیشرفته: ششمین مدرسه بین المللی ، AFP 2008 ، Heijen ، هلند ، مه 2008 ، سخنرانی های اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی کاربردی پیشرفته: ششمین مدرسه بین المللی ، AFP 2008 ، Heijen ، هلند ، مه 2008 ، سخنرانی های اصلاح شده
این کتاب آموزشی هفت سخنرانی اصلاح شده را ارائه می دهد که در ششمین مدرسه بین المللی برنامه نویسی عملکردی، AFP 2008، در Heijen، هلند در ماه می 2008 ارائه شده است.
این کتاب هفت سخنرانی زیر را ارائه می دهد: فصل‌هایی که با دقت بررسی شده‌اند، توسط مقامات برجسته در این زمینه نوشته شده‌اند: خود تنظیمی: محاسبه با Delta ML، چرخش عنکبوت برای آدمک‌ها، از نرمال‌سازی مبتنی بر کاهش تا بدون کاهش، کتابخانه‌هایی برای برنامه‌نویسی عمومی در Haskell، برنامه‌نویسی وابسته به تایپ در agda ، برنامه نویسی موازی و همزمان در Haskell و مطالعه موردی iTask: یک سیستم مدیریت کنفرانس.
توضیحاتی درمورد کتاب به خارجی
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.
The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system.
فهرست مطالب
Front Matter....Pages -
Self-adjusting Computation with Delta ML....Pages 1-38
Spider Spinning for Dummies....Pages 39-65
From Reduction-Based to Reduction-Free Normalization....Pages 66-164
Libraries for Generic Programming in Haskell....Pages 165-229
Dependently Typed Programming in Agda....Pages 230-266
A Tutorial on Parallel and Concurrent Programming in Haskell....Pages 267-305
An iTask Case Study: A Conference Management System....Pages 306-329
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Entity Framework 4 in Action
دانلود کتاب SAS Programming in the Pharmaceutical Industry
دانلود کتاب Object-Oriented Programming with PHP5
دانلود کتاب Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
دانلود کتاب Programmable controllers.Theory and implementation
دانلود کتاب Extreme programming in a research environment
دانلود کتاب Plc Programming Methods And Applications
دانلود کتاب Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
