دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دانلود کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه 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 نویسندگان: Stefano Bistarelli, Daniele Pirolandi, Francesco Santini (auth.), Javier Larrosa, Barry O’Sullivan (eds.) سری: Lecture Notes in Computer Science 6384 Lecture Notes in Artificial Intelligence ISBN (شابک) : 3642194850, 9783642194856 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 164 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه ERCIM درباره حل محدودیت و برنامه‌نویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه ERCIM درباره حل محدودیت و برنامه‌نویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل چهاردهمین کارگاه بین المللی سالانه 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.
فهرست مطالب
Front Matter....Pages -
Solving Weighted Argumentation Frameworks with Soft Constraints....Pages 1-18
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results....Pages 19-37
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming....Pages 38-58
Solving the Static Design Routing and Wavelength Assignment Problem....Pages 59-75
A Resource Cost Aware Cumulative....Pages 76-89
Integrating Strong Local Consistencies into Constraint Solvers....Pages 90-104
Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance....Pages 105-121
Constraint-Based Modeling and Scheduling of Clinical Pathways....Pages 122-138
MAC-DBT Revisited....Pages 139-153
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Translational Criminology and Counterterrorism: Global Threats and Local Responses
دانلود کتاب Radioactive Waste Management Programmes in OECD/NEA Member Countries.
