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

Gdown.org > General > Logic Design

Logic Design ebook free download list

• Introduction to Logic and Computer Design
Introduction to Logic and Computer Design by Alan Marcovitz takes the successful formula realized in the author's previous books and makes it even bet...
• Conclog: Methodological Approach to Concurrent Logic Programming
This book presents a new concurrent logic programming language called Conclog and a methodology for programming init.Conclog was designed bytaki...
• Functional Decomposition with Applications to FPGA Synthesis
This book treats functional decomposition, a technique used in automatic logic synthesis for field programmable gate arrays (FPGAs). Early chapters gi...
• Parallel Execution of Logic Programs
Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style ofprogramming are its simple declarativ...
• Logic Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, L...
• Quantum Theoretic Machines
Making Sense of Inner Sense'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible ...
• Sequential Logic Synthesis
Computer-aided design (CAD) of very large scale integrated (VLSI) circuits is concerned with the development of computer programs for the automated de...
• Field-Programmable Gate Arrays
Timely, authoritative, application-oriented… an in-depth exploration of current and future uses of FPGAs in digital systems The development of fi...
• Meta-Programming in Logic
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden...
• Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5
Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from ...
• Logic Design for Array-Based Circuits
Application specific integrated circuits (ASICs) are at the leading edge of the engineering design spectrum, yet less than 10,000 engineers are traine...
• Refinement Calculus
The authors begin with a presentation of a new foundation for the refinement calculus based on lattice theory and higher order logic, together with a ...