دانلود کتاب پیشرفتهای اخیر در محدودیتها: چهاردهمین کارگاه بینالمللی سالانه ERCIM درباره حل محدودیت و برنامهنویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : پیشرفتهای اخیر در محدودیتها: چهاردهمین کارگاه بینالمللی سالانه ERCIM درباره حل محدودیت و برنامهنویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6384 Lecture Notes in Artificial Intelligence
نویسندگان : Stefano Bistarelli, Daniele Pirolandi, Francesco Santini (auth.), Javier Larrosa, Barry O’Sullivan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 164
ISBN (شابک) : 3642194850 , 9783642194856
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
این کتاب مجموعه مقالات پس از داوری کامل چهاردهمین کارگاه بین المللی سالانه ERCIM در زمینه حل محدودیت و برنامه ریزی منطقی محدودیت، CSCLP 2009 است که در بارسلونا، اسپانیا، در ژوئن 2009 برگزار شد. 9 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و بررسی شدند. برای درج در این پس از دادرسی انتخاب شده است. مقالات این جلد نتایج تحقیقاتی اصلی و کاربردهای حل محدودیت و برنامه ریزی منطقی محدودیت را در چندین حوزه ارائه می دهد. از جمله مسائلی که به آنها پرداخته می شود، حل چارچوب های استدلال، سازگاری نرم افزار، زبان های مدل سازی، مسیریابی طراحی ایستا، رضایت از محدودیت پویا، و مدل سازی مبتنی بر محدودیت است.
This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.