【预订】Practical Aspects of Declarative Languages 9783540309475
国外库房发货,通常付款后3-5周到货!
/ 2005-12-19
Product Details 基本信息 ISBN-13 书号 9783540309475 Author 作者 van Hentenryck Format 版本 平装-胶订 Pages Number 页数 234页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-12-19 Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttpWEBLinkpeople/pvh/PADL06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation te- niques for all forms of declarative concepts. Topics of interest include, but are n
¥520.00
【预订】Principles and Practice of Constraint Programming - CP 2
国外库房发货,通常付款后3-5周到货!
/ 2002-08-26
Product Details 基本信息 ISBN-13 书号 9783540441205 Author 作者 Hentenryck Format 版本 平装-胶订 Pages Number 页数 794页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-08-26 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.
¥1040
【预订】Static Analysis 9783540634683
国外库房发货,通常付款后3-5周到货!
/ 1997-08-27
Product Details 基本信息 ISBN-13 书号 9783540634683 Author 作者 Hentenryck Format 版本 平装-胶订 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-08-27 Language 语种 英语 Book Contents 内容简介 This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS ’97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.
¥520.00
【预订】Integration of AI and OR Techniques in Constraint Progra
国外库房发货,通常付款后3-5周到货!
/ 2007-05-24
Product Details 基本信息 ISBN-13 书号 9783540723967 Author 作者 Pascal Van Hentenryck Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewed and selected from 80 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.
¥520.00
【预订】Hybrid Optimization 9781441916433
国外库房发货,通常付款后3-5周到货!
/ 2010-11-08
Product Details 基本信息 ISBN-13 书号 9781441916433 Author 作者 van Hentenryck Format 版本 精装 Pages Number 页数 560页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-08 Shipping Weight 商品重量 1015g Language 语种 英语 Book Contents 内容简介 Hybrid Optimization focuses on the application of artificial intelligence and operations research techniques to constraint programming for solving combinatorial optimization problems. This book covers the most relevant topics investigated in the last ten years by leading experts in the field, and speculates about future directions for research.This book includes contributions by experts from different but related areas of research including constraint programming, decision theory, operations research, SAT, artificial intelligence, as well as others. These diverse perspectives are actively combined and contrasted in order to evaluate th
¥1470
约束程序设计原理与实践 CP2002Principles and practice of constraint prog
/ 2002-12-01
/ 湖南文艺出版社
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥714.20定价:¥904.00(7.91折)