Electronic Books

Total Books: 241 - 260 /261

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...

Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...

The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...

The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...

We all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...

This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

This textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Covers all of the major risk areas that a financial institution is exposed to and uses models for, including market risk, ...

This book presents recent results in the value-distribution theory of L-functions with emphasis on the phenomenon of universality. ...

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

Wave propagation in random media is an interdisciplinary field that has emerged from the need in physics and engineering ...

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Total Books: 241 - 260 /261