181. Principles and practice of constraint programming--CP 98 : 4th International Conference, CP 98, Pisa, Italy, October 26-30, 1998 : proceedings
پدیدآورنده: Michael Maher Jean-Francois Puget, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1520
182. Principles and practice of constraint programming--CP 2000 : 6th International Conference, CP 2000, Singapore, September 18-21, 2000 : proceedings
پدیدآورنده: Rina Dechter )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1894
183. Principles and practice of constraint programming -- CP 2005 : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings
پدیدآورنده: Peter van Beek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3709
184. Principles and practice of constraint programming-CP 2003 : 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 : proceedings
پدیدآورنده: Francesca Rossi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2833
185. Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings
پدیدآورنده: Toby Walsh )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2239
186. Principles and practice of constraint programming : second international workshop, PPCP'94 Rosario, Orcas Island, WA, USA, May 2 - 4, 1994 : proceedings
پدیدآورنده: Alan Borning )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
874
187. Principles and practice of constraint programming : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004 : proceedings
پدیدآورنده: Mark Wallace )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3258
188. Principles of constraint programming
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
A68
2003
189. Principles of constraint programming
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Constraint programming (Computer science)
رده :
QA76
.
612
.
A68
2003
190. 16, 2011. Proceedings- CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12ع۰بPrinciples and Practice of Constraint Programming
پدیدآورنده: / Leonardo de Moura (auth.), Jimmy Lee (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
191. 10, 2010. Proceedings- CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6ع۰بPrinciples and Practice of Constraint Programming
پدیدآورنده: / Robert Nieuwenhuis (auth.), David Cohen (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
192. 18, 2010. Proceedings-Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14
پدیدآورنده: / Matteo Fischetti (auth.), Andrea Lodi, Michela Milano, Paolo Toth (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
193. Programming Paradigms in Graphics :
پدیدآورنده: edited by Remco C. Veltkamp, Edwin H. Blake.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.
رده :
T385
.
E358
1995
194. Programming constraint services :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ;
195. Programming constraint services
پدیدآورنده: / Christian Schulte
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constraint programming (Computer science)
رده :
QA
,
76
.
612
,.
S38
,
2002
196. Programming constraint services : high-level programming of standard and new constraint services
پدیدآورنده: Schulte, Christian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2302
197. Programming with constraints: an introduction
پدیدآورنده: Marriott, Kim
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Constraint programming )Computer science(
رده :
QA
76
.
63
.
M37
1998
198. Progress in Artificial Intelligence :
پدیدآورنده: edited by Miguel Filgueiras, Luís Damas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer Science.
199. Progress in artificial intelligence :
پدیدآورنده: 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki
200. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده: Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
