Electronic Books

Total Books: 41 - 60 /261

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

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

This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, ...

This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. ...

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 networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...

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

The Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate ...

Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...

Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...

With its many easy-to-follow mathematical examples, this book takes the reader on an almost chronological trip through the ...

This second edition of Chance Rules again recounts the story of chance through history and the various ways it impacts on ...

This book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging ...

Classical Methods of Statistics is a blend of theory and practical statistical methods written for graduate students and ...

The book Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of Computational ...

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...

Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...

Total Books: 41 - 60 /261