• Architecture Engineering
• Data Processing
• General
• Information Systems
• Logic Design
• Machine Theory
• Parallel Distributed
• Scientific Computing
• Security
• Transaction Processing

Gdown.org > General > Machine Theory

Machine Theory ebook free download list

• Abstract Computing Machines
This book takes a Lambda-calculus approach to organizing computations. It sets out with a brief introduction to Lambda-calculus, describes a variant o...
• FSM based Digital Design with Verilog HDL
FSM based Digital Design with Verilog HDL covers the design and use of finite state machines (FSMs) in digital systems, including stand-alone applicat...
• Introduction to Process Algebra
The theory or process algebra has developed rapidly over the last twenty years and verification tools have been developed on the basis of process alge...
• Parsing Theory, Vol. 2
This is the second volume of a two-volume set representing an up-to-date reference work on the theory of deterministic parsing of context-free grammar...
• Processes, Terms and Cycles
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close f...
• The Theory of Computation
Highlights: Motivates theoretical developments by connecting them to practical issues. Introduces every result and proof with an informal overview t...
• Combinatorics on Traces
Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concu...
• Abstract Machine Models for Parallel and Distributed Computing, Vol. 48
Abstract Machine Models have played a profound though frequently unacknowledged role in the development of modern computing systems. They provide a pr...
• Fuzzy Semigroups
The purpose of this book is to present an up to date account of fuzzy subsemigroups and fuzzy ideals of a semigroup. The book concentrates on theoreti...
• Introduction to Languages, Machines and Logic
This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. I...
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for pra...
• Sequential Logic
Emphasizing structured and rigorous design principles that can be applied to practical applications, Sequential Logic offers a thorough exposition of ...