Electronic Books

Total Books: 281 - 300 /1984

Automated Technology for Verification and Analysis

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

Automated Technology for Verification and Analysis

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

Automated Technology for Vertification and Analysis

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

Automatic Autocorrelation and Spectral Analysis

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

Automatic Differentiation: Applications, Theory, and Implementations

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

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

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

B 2007: Formal Specification and Development in B

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

Bargaining Power Effects in Financial Contracting

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

Barry's Advanced Construction of Buildings, 4th Edition / Stephen Emmitt

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

Barry's Introduction to Construction of Buildings, 4th Edition / Stephen Emmitt

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

Basic Fracture Mechanics and its Applications / Ashok Saxena

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

Basic Real Analysis

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

Basic Science Techniques in Clinical Practice

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

Bayesian Computation with R : Introduces Bayesian modeling by use of computation using the R language

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

Bayesian Core: A Practical Approach to Computational Bayesian Statistics

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

Bayesian Methods in the Search for MH370

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

Bayesian Networks and Decision Graphs

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

Bayesian Networks and Decision Graphs

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

Bayesian Reliability

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

Be Data Literate : The Data Literacy Skills Everyone Needs To Succeed / Jordan Morrow

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