25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lire la suite
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lire la suite
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suite
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suite
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Lire la suite
3D Mesh Processing and Character Animation : With Examples Using OpenGL, OpenMesh and Assimp / Ramakrishnan Mukundan
Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Lire la suite
A Benchmark Approach to Quantitative Finance
The general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...
Lire la suite
A Changing World
Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Course in Credibility Theory and its Applications
It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to ...
Lire la suite
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Lire la suite
A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Lire la suite
A Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Lire la suite
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suite
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suite
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Lire la suite
