Electronic Books

Total Books: 61 - 80 /261

Computer Aided Verification

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

Computer Aided Verification

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

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

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

Computers and Games : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

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

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

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

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

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

Conditionals, Information, and Inference

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

Continuous Time Processes for Finance : Switching, Self-exciting, Fractional and other Recent Dynamics / Donatien Hainaut

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

Control Theory in Physics and other Fields of Science

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

Data Mining: Foundations and Practice

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

Dealing with Uncertainties

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

Decision Making under Deep Uncertainty

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

Design Added Value : How Design Increases Value for Architects and Engineers / Ömer Akın

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

Design of Observational Studies

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

Differential Equations Driven by Rough Paths

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

Distributed Artificial Intelligence : Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings

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

Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident

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

Eigenvalues, Inequalities, and Ergodic Theory

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

Elaborazione dei dati sperimentali

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

Elementi di Probabilità e Statistica

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

Total Books: 61 - 80 /261