Electronic Books

Total Books: 1 - 20 /3182

This book is arranged and developed around the theme of “2050 China,” it analyzes the factors and advantages of the Chinese ...

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...

Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...

The general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...

Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to ...

This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...

A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...

This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

This book is open access under a CC BY license and explores the under-researched history of male mental illness from the ...

Total Books: 1 - 20 /3182