Electronic Books

Total Books: 921 - 940 /989

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

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

This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...

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 Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

The treatment of time in quantum mechanics is still an important and challenging open question in the foundation of the quantum ...

Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...

The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...

The study of atomic physics propelled us into the quantum age in the early twentieth century and carried us into the twenty-first ...

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Nicolas BOURBAKI's Elements of Mathematics aim at a rigorous, systematic presentation without prerequisites of mathematics ...

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

The book brings together research communities from different disciplines and countries, and offers an exchange about theoretical ...

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

This issue of the journal reports someContains contributions presented at the first Converging Science conference held at ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...

Total Books: 921 - 940 /989