Books

121 works - Books.

"121" Result

This volume focuses on the integration of artificial intelligence and constraint programming to solve problems in operations research and combinatorial optimization. This volume collects the contributions of experts from various research areas including decision theory, systems…

Annotation The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. F…

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 sub…