Electronic Books

Total Books: 241 - 260 /261

Theoretical Aspects of Computing - ICTAC 2006

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

Theory and Applications of Satisfiability Testing (vol. # 3542)

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

Theory and Applications of Satisfiability Testing (vol. # 3569)

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

Theory and Applications of Satisfiability Testing - SAT 2007

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

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

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

Theory of Probability and Random Processes

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

Theory of Random Sets

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

Transactions on Computational Systems Biology X

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

Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

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

Uncertainty Theory

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

Uncertainty and Risk

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

Uncertainty, Rationality, and Agency

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

Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

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

Understanding Statistics and Experimental Design

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

Univariate Stable Distributions

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

Validation of Risk Management Models for Financial Institutions : Theory and Practice / David Lynch, Iftekhar Hasan, Akhtar Siddique

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

Value-Distribution of L-Functions

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

Variant Construction from Theoretical Foundation to Applications

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

Wave Propagation and Time Reversal in Randomly Layered Media

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

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

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

Total Books: 241 - 260 /261