Electronic Books

Total Books: 6421 - 6440 /6951

Theoretical and Quantum Mechanics: Fundamentals provides an introduction to theoretical and quantum mechanics for chemists. ...

Sense perception is one of the classical themes in philosophy. It is traditionally considered a necessary preamble to many ...

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of ...

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

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 ...

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

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 ...

This book includes different issues related with: process and engineering of model transformations; model transformations ...

The book represents a snapshot of the current status of research in reaction dynamics, focusing especially on accurate time-dependent ...

Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...