New Trends in Constraints, Krzysztof R. Apt; Antonis Kakas; Eric Monfroy; Fra

Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi
Название: Recent Advances in Constraints
ISBN: 3642032508 ISBN-13(EAN): 9783642032509
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

Автор: Fran?ois Fages; Francesca Rossi; Sylvain Soliman
Название: Recent Advances in Constraints
ISBN: 3540898115 ISBN-13(EAN): 9783540898115
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. This book addresses various aspects of constraint and logic programming, including foundational issues, and implementation techniques.

Автор: Remco Leine; Nathan Wouw
Название: Stability and Convergence of Mechanical Systems with Unilateral Constraints
ISBN: 3642095690 ISBN-13(EAN): 9783642095696
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: While the stability theory for systems with bilateral constraints is a well-established field, this monograph represents a systematic study of mechanical systems with unilateral constraints, such as unilateral contact, impact and friction.

Автор: Jefferey Shufelt
Название: Geometric Constraints for Object Detection and Delineation
ISBN: 1461374057 ISBN-13(EAN): 9781461374053
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Geometric Constraints for Object Detection and Delineation addresses these problems with a suite of novel methods and techniques for detecting and delineating generic objects in images of complex scenes, and applies them to the specific task of building detection and delineation from monocular aerial imagery.

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

Автор: Krzysztof R. Apt; Francois Fages; Francesca Rossi;
Название: Recent Advances in Constraints
ISBN: 3540218343 ISBN-13(EAN): 9783540218340
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book.

Автор: Raghu Ramakrishnan; Peter Stuckey
Название: Constraints and Databases
ISBN: 1461375207 ISBN-13(EAN): 9781461375203
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constraints and Databases contains seven contributions on the rapidly evolving research area of constraints and databases. Constraints provide a uniform mechanism for describing heterogenous data, and advanced constraint solving methods can be used for efficient manipulation of constraint data.

Автор: Brahim Hnich; Mats Carlsson; Francois Fages; Franc
Название: Recent Advances in Constraints
ISBN: 354034215X ISBN-13(EAN): 9783540342151
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. This book features the papers that are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.

Автор: Boi Faltings; Adrian Petcu; Fran?ois Fages; France
Название: Recent Advances in Constraints
ISBN: 3540251766 ISBN-13(EAN): 9783540251767
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. This work includes papers that are organized in topical sections on constraint propagation, constraint search, and applications.