Electronic Books

Total Books: 281 - 300 /1984

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...

Covers the construction of larger-scale buildings (primarily residential, commercial and industrial) constructed with load ...

Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text ...

Presents specific aspects of how fracture mechanics is used to address fatigue crack growth, environment assisted cracking, ...

Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts ...

Medical researchers including doctors, nurses, medical students and allied health professionals are required to undertake ...

R's open source nature, free availability, and large number of contributor packages have made R the software of choice for ...

This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...

This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...

Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...

Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...

Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...

It is not enough for a business to have the best data if those using it don't understand the right questions to ask or how ...

Total Books: 281 - 300 /1984