Søkt på: Søkeresultat
totalt 25 treff
First-Order Logic and Automated Theorem Proving
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core …
Programming Challenges
Presents a collection of more than one hundred programming challenges along with information on key theories and concepts in computer programming.
Fundamentals of Computer Organization and Design
Computer science and engineering curricula have been evolving at a fast pace to keep up with the developments in the area. There are separate books available on assembly language …
A Recursive Introduction to the Theory of Computation
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author …
A Recursive Introduction to the Theory of Computation
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author …
Introduction to Assembly Language Programming
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying …
Descriptive Complexity
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. …
Computability and Complexity Theory
This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is …
An Introduction to Kolmogorov Complexity and Its Applications
“The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field.” Journal of …
Descriptive Complexity
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. …
Modal and Temporal Properties of Processes
This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to:-process calculi for …
On Concurrent Programming
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the …