| |
|
Theory of Computation
-
An Introduction to the Theory of Computation
This book explores some of the more important terminologies and questions concerning programs, computers, problems, and computation. The exploration reduces in many cases to a study of mathematical theories, such as those of automata and formal languages; theories that are interesting also in their own right. These theories provide abstract models that are easier to explore, because their formalisms avoid irrelevant details.
-
-
Computational Complexity: A Conceptual Perspective
This book offers a conceptual perspective on complexity theory, and the presentation is designed to highlight this perspective. It is intended mainly for students that wish to learn complexity theory and for educators that intend to teach a course on complexity theory. The book is also intended to promote interest in complexity theory and make it acccessible to general readers with adequate background (which is mainly being comfortable with abstract discussions, definitions and proofs)
-
-
Computational Complexity: A Modern Approach
This book aims to describe recent achievements of complexity theory in the context of the classical results. It is intended to be a text and as well as a reference for self-study. This means it must simultaneously cater to many audiences, and it is carefully designed with that goal. The book will explain the context in which a certain notion is useful, and why things are defined in a certain way. Examples and solved exercises accompany key definitions.
-
-
Essentials of Theoretical Computer Science
This book contains the essentials of theoretical computer science. There might be a bit more, but this is a broad introduction to the field. And, it is presented from a computer science viewpoint for computer scientists. It does not come from one of the strongholds of mathematics even though a great deal of mathematical logic lurks within.
-
-
The Complexity of Boolean Functions
In this book Professor Dr. Wegener presents a large number of recent research results for the first time. Initially he deals with the well known computation models (circuits and formulae), and he goes on to special types of circuits, parallel computers, and branching programs. Basic results are included as well as the most recent research results.
-
|
|