Søkt på: Søkeresultat
totalt 6 treff
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software …
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software …
Optimal Control of Energy Resources for State Estimation Over Wireless Channels
This brief introduces wireless communications ideas and techniques into the study of networked control systems. It focuses on state estimation problems in which sensor measurements …
The Role of Halogens in Terrestrial and Extraterrestrial Geochemical Processes
The book summarizes the knowledge and experiences concerning the role of halogens during various geochemical processes, such as diagenesis, ore-formation, magma evolution, …
The Role of Halogens in Terrestrial and Extraterrestrial Geochemical Processes
The book summarizes the knowledge and experiences concerning the role of halogens during various geochemical processes, such as diagenesis, ore-formation, magma evolution, …
Cyber Security
This book constitutes the refereed proceedings of the Second International Symposium on Cyber Security, CSS 2015, held in Coeur d'Alene, ID, USA, in April 2015. The 9 revised full …