Electronic Books

Total Books: 61 - 80 /261

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...

This book explores recent topics in quantitative finance with an emphasis on applications and calibration to time-series. ...

This book covers systematically and in a simple language the mathematical and physical foundations of controlling deterministic ...

This book contains valuable studies in data mining from both foundational and practical perspectives. The foundational studies ...

Dealing with Uncertainties proposes and explains a new approach for the analysis of uncertainties. Firstly, it is shown that ...

This book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face ...

Enables architects, engineers, contractors and owner-clients of buildings to benefit from extraordinary design and construction ...

This book introduction to statistical inference in observational studies and a detailed discussion of the principles that ...

The goal of these notes is to provide a straightforward and self supporting but minimalist account of the key results forming ...

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, ...

This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase ...

A problem of broad interest – the estimation of the spectral gap for matrices or differential operators (Markov chains ...

L'analisi statistica dei dati sperimentali, la loro elaborazione ed una corretta stima degli errori sono conoscenze necessarie ...

The authors' approach to Probability and Statistics is not based on measurement theory, but introduces the concept of probability ...

Total Books: 61 - 80 /261