ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

دانلود کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

مشخصات کتاب

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 6559 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642207747, 9783642207754 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 181 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری



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

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


در صورت تبدیل فایل کتاب Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده



این کتاب شامل مجموعه‌ای از مقالات ارائه شده در نوزدهمین کارگاه بین‌المللی برنامه‌نویسی منطقی تابعی و محدودیتی، WFLP 2010، در مادرید، اسپانیا، در ژانویه 2010، به عنوان بخشی است. از رویداد ACM-SIGPLAN Principles of Programming Languages، POPL 2010.

از 15 مقاله ارسال شده، 12 مقاله برای ارائه در کارگاه پذیرفته شد. 8 مقاله منظم ارائه شده در این جلد پس از دور دوم بررسی که پس از این رویداد انجام شد، انتخاب شدند. آنها با یک سخنرانی دعوت شده کامل توسط سخنران مهمان کارگاه، ماریانجیولا دزانی-سیانکاگلینی تکمیل می شوند. همه مسائل جاری در زمینه های برنامه نویسی منطق عملکردی و محدودیت ها از جمله جنبه های اساسی، طراحی زبان، پیاده سازی، تبدیل و تجزیه و تحلیل، مهندسی نرم افزار، ادغام پارادایم ها و برنامه ها پوشش داده شده است.


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

This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010.

From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.



فهرست مطالب

Front Matter....Pages -
Types for Role-Based Access Control of Dynamic Web Data....Pages 1-29
Transforming Functional Logic Programs into Monadic Functional Programs....Pages 30-47
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL....Pages 48-65
An Access Control Language Based on Term Rewriting and Description Logic....Pages 66-83
Lazy and Enforceable Assertions for Functional Logic Programs....Pages 84-100
Parameterized Models for On-Line and Off-Line Use....Pages 101-118
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry....Pages 119-136
Efficient and Compositional Higher-Order Streams....Pages 137-154
Bridging the Gap between Two Concurrent Constraint Languages....Pages 155-173
Back Matter....Pages -




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