Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee masImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee masImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee masThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee masThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee masThis textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Lee masFocusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Lee masThe general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...
Lee masWritten primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
Lee masThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee masThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee masIt covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to ...
Lee masThis is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Lee masA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Lee masThis monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Lee masThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee masThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lee masThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee masThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lee masIn this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Lee mas