دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: نویسندگان: Hans-Wolfgang Loidl سری: ISBN (شابک) : 9781841501444, 1841501441 ناشر: Intellect (UK) سال نشر: 2006 تعداد صفحات: 156 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Trends in Functional Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گرایش در برنامه نویسی کاربردی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب آخرین پیشرفت های تحقیقاتی در زمینه برنامه نویسی تابعی را ارائه می دهد. مشارکتها در این جلد، طیف وسیعی از موضوعات را از تئوری، جنبههای رسمی برنامهنویسی تابعی، گرافیک و برنامهنویسی بصری تا محاسبات توزیعشده و طراحی کامپایلر را پوشش میدهند. همانطور که اغلب در این جامعه اتفاق می افتد، پربارترین کار از ترکیب کار نظری با کاربرد آن در مسائل کلاسیک در علوم کامپیوتر حاصل می شود. روندهای خاص در این جلد عبارتند از: استدلال در مورد برنامه های کاربردی. اثبات قضیه خودکار برای زبان های برنامه نویسی سطح بالا. و پشتیبانی زبان برای همزمانی و توزیع. مجموعه \"TFP\" به ترویج جهت های تحقیقاتی جدید مرتبط با زمینه برنامه نویسی تابعی و بررسی روابط برنامه نویسی تابعی با سایر شاخه های علوم کامپیوتر اختصاص دارد. این طراحی شده است تا بستری برای تحقیقات جدید و آینده باشد.
This book presents latest research developments in the area of functional programming. The contributions, in this volume, cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and, language support for concurrency and distribution. The "TFP" series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research.