Benoît Michel

Digital Stereoscopy provides a large number of technical details on Digital Stereoscopy, making it a reference work for professionals in the field, with explanations of the most commonly used software, hardware, and standards. To make the book as useful as possible, an abundance of sidebars explaining the most important concepts in each chapter and a glossary of the most frequently used 3D-specific terms have also been included. Over 250 black-and-white diagrams and pictures complement the text, some of them accompanied by QR-code links to full-color images on the web.

Stefania Gnesi and Tiziana Margaria

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.

Florin Stoican and Sorin Olaru

Fault-tolerant control theory is a well-studied topic but the use of the sets in detection, isolation and/or reconfiguration is rather tangential. The authors of this book propose a systematic analysis of the set-theoretic elements and devise approaches which exploit advanced elements within the field. The main idea is to translate fault detection and isolation conditions into those conditions involving sets.