Search Results

This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents

This book constitutes the throughly refereed post-proceedings of the Second International Workshop on Global Optimization and Constraint Satisfaction, COCOS 200

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematic

This book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memori

This book is written in a clear and thorough way to cover both the traditional and modern uses of artificial intelligence and soft computing. It gives an in-dep