Filter
Generell datateori
Filter
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 …
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 …
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 …
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 …
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 …
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. …
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 …
“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 …
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. …
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 …