This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Continue readingThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Continue readingStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Continue readingThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Continue readingFor many, the experience of religion and the family are organically connected: first exposure to religion often comes through ...
Continue readingRemote Sensing Digital Image Analysis provides the non-specialist with an introduction to quantitative evaluation of satellite ...
Continue readingThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Continue readingLessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
Continue reading"This book provides an excellent and diverse overview of the emerging capability of remote sensing archaeology and is a ...
Continue readingThe aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom ...
Continue readingThis book provides extensive insight on remote sensing of coastal waters from aircraft and space-based platforms. The primary ...
Continue readingThis book aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote ...
Continue readingUnderstanding brain functions, especially the neural mechanisms of higher cognitive processes such as thinking, reasoning, ...
Continue readingThe book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...
Continue readingEssentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
Continue readingThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Continue readingRequirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
Continue readingProceedings of the NATO Advanced Research Workshop on Rescue of Sturgeon Species by means of Transboundary Integrated Water ...
Continue readingRescuing the Enlightenment from Itself: Critical and Systemic Implications for Democracy presents papers that make the case ...
Continue reading