دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
دانلود کتاب برنامه نویسی محدودیت ها: مبانی و روندها: 1994 مدرسه بهاره Châtillon Châtillon-sur-Seine ، فرانسه ، 16 تا 20 مه 1994 مقالات منتخب
مشخصات کتاب
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Frédéric Benhamou (auth.), Andreas Podelski (eds.) سری: Lecture Notes in Computer Science 910 ISBN (شابک) : 3540591559, 9783540591559 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 326 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی محدودیت ها: مبانی و روندها: 1994 مدرسه بهاره Châtillon Châtillon-sur-Seine ، فرانسه ، 16 تا 20 مه 1994 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی محدودیت ها: مبانی و روندها: 1994 مدرسه بهاره Châtillon Châtillon-sur-Seine ، فرانسه ، 16 تا 20 مه 1994 مقالات منتخب
این کتاب حاوی نسخه‌های اصلاح‌شده‌ای از مقالات ارائه‌شده در
مدرسه بهار شاتیون در سال 1994 است که در ماه مه 1994 برگزار
شد. این مدرسه بهاری بیست و دومین رویداد از یک سری سمینارهای
پیشرفته بود که حوزه‌های جدید پژوهشی مهمی را به جامعه نظری
علوم رایانه ارائه می‌کرد.
حوزه بین رشته ای برنامه نویسی محدودیت (منطقی) و سیستم های
مبتنی بر محدودیت اخیراً هویت قابل تشخیصی را ایجاد کرده است که
هم از نظر مبانی ساده و کلی و هم از نظر کاربردهای عملی قابل
توجه امیدوار کننده است. 15 مقاله ارائه شده در این جلد، حوزه
جدید را در دسترس همه دانشمندان علاقه مند کامپیوتر قرار می دهد
و وضعیت هنر را در این زمینه جدید هیجان انگیز، به ویژه در زیر
زمینه برنامه نویسی منطق محدودیت گزارش می دهد.
توضیحاتی درمورد کتاب به خارجی
This book contains thoroughly revised versions of the papers
presented at the 1994 Châtillon Spring School held in May
1994. This spring school was the 22nd event in a series of
advanced seminars presenting important new areas of research
to the theoretical computer science community.
The interdisciplinary area of constraint (logic) programming
and constraint-based systems has recently developed a
discernible identity, which is promising both in terms of
simple and general foundations and in terms of significant
practical applications. The 15 papers presented in this
volume make the new area accessible to all interested
computer scientists and report the state of the art in this
exciting new field, particularly in the subfield of
constraint logic programming.
فهرست مطالب
Interval constraint logic programming....Pages 1-21
Solving pseudo-Boolean constraints....Pages 22-38
Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods....Pages 39-61
Constraints in term algebras an overview of constraint solving techniques....Pages 62-67
Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages....Pages 68-89
Constraint handling rules....Pages 90-107
Linear constraint solving in CLP-Languages....Pages 108-127
On the use of constraints in automated deduction....Pages 128-146
Abstract interpretation and finite domain symbolic constraints....Pages 147-170
Concurrency and Concurrent Constraint Programming....Pages 171-192
Toupie: A constraint language for model checking....Pages 193-208
Imagining CLP( Λ ,≡ αβ )....Pages 209-230
An architecture for cooperating constraint solvers on reals....Pages 231-250
The definition of Kernel Oz....Pages 251-292
Design, implementation, and evaluation of the constraint language cc(FD)....Pages 293-316
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Concepts of Programming Languages
دانلود کتاب Beginning NFC: Near Field Communication with Arduino, Android, and PhoneGap(+ дополнительные материалы с сайта поддержки)
دانلود کتاب Web Performance in Action: Building Faster Web Pages
دانلود کتاب Principles of Programming Languages (Prentice Hall International Series in Computing Science)
دانلود کتاب Android programming: Android application development.
دانلود کتاب Multiple Imputation of Missing Data Using SAS
دانلود کتاب Getting Started with Raspberry Pi Zero
دانلود کتاب Microsoft Windows 2000 Server Operations Guide
دانلود کتاب Automaták és formális nyelvek példatár : egyetemi tananyag
