عنوان
پدید آورنده
موضوع
رده
QA76.612 .F78 2003
QA76
.
612
.
F78
2003
کتابخانه
محل استقرار
شابک
شابک
3540676236
شابک
3642087124
شابک
9783540676232
شابک
9783642087127
شماره کتابشناسی ملی
کد کشور
bnb
شماره
b433942
عنوان و نام پديدآور
عنوان اصلي
Essentials of constraint programming /
نام عام مواد
[Book]
نام نخستين پديدآور
Thom Frühwirth, Slim Abdennadher
مشخصات ظاهری
نام خاص و کميت اثر
ix, 144 pages ;
ابعاد
24 cm
فروست
عنوان فروست
Cognitive technologies
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 137-140) and index
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Introduction -- Part I. Constraint programming -- 2. Algorithm = logic + control -- 3. Preliminaries of syntax and semantics -- 4. Logic programming -- 5. Constraint logic programming -- 6. Concurrent constraint logic programming -- 7. Constraint handling rules -- Part II. Constraint systems -- 8. Constraint systems and constraint solvers -- 9. Boolean algebra B -- 10. Rational trees RT -- 11. Linear polynomial equations -- 12. Finite domains FD -- 13. Non-linear equations I -- Part III. Applications -- 14. Market overview -- 15. Optimal sender placement for wireless communication -- 16. The Munich rent advisor -- 17. University course timetabling -- Part IV. Appendix -- A. Foundations from logic
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Constraint programming (Computer science)
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
005
.
1/1
ويراست
21
رده بندی کنگره
شماره رده
QA76
.
612
نشانه اثر
.
F78
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Frühwirth, Thom,1962-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Abdennadher, Slim,1967-
مبدا اصلی
تاريخ عمليات
20160712071805.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
