Skip to main content

logic design Books

122 books in this genre

Relational and Algebraic Methods in Computer Science by Uli Fahrenberg - Book Cover

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg

No ratings
Verification, Model Checking, and Abstract Interpretation by Kedar S. Namjoshi - Book Cover

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi

No ratings
Programming Logic and Design -- Comprehensive by Joyce Farrell - Book Cover

Programming Logic and Design -- Comprehensive

Joyce Farrell

No ratings
Introduction to Logic Design by Alan B. Marcovitz - Book Cover

Introduction to Logic Design

Alan B. Marcovitz

No ratings
CONCUR 2013 -- Concurrency Theory by Pedro R. D'Argenio - Book Cover

CONCUR 2013 -- Concurrency Theory

Pedro R. D'Argenio

No ratings
Verification, Model Checking, and Abstract Interpretation by Deepak D'Souza - Book Cover

Verification, Model Checking, and Abstract Interpretation

Deepak D'Souza

No ratings
Foundations of Software Science and Computational Structures by Martin Hofmann - Book Cover

Foundations of Software Science and Computational Structures

Martin Hofmann

No ratings
Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime® by Himanshu Bhatnagar - Book Cover

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime®

Himanshu Bhatnagar

No ratings
Abstract computing machines by Werner Kluge - Book Cover

Abstract computing machines

Werner Kluge

No ratings
Switching circuits; theory and logic design by H. C. Torng - Book Cover

Switching circuits; theory and logic design

H. C. Torng

No ratings
Theory and Applications of Satisfiability Testing – SAT 2013 by Matti Järvisalo - Book Cover

Theory and Applications of Satisfiability Testing – SAT 2013

Matti Järvisalo

No ratings
ECOOP 2012 – Object-Oriented Programming by James Noble - Book Cover

ECOOP 2012 – Object-Oriented Programming

James Noble

No ratings
Advanced ASIC chip synthesis by Himanshu Bhatnagar - Book Cover

Advanced ASIC chip synthesis

Himanshu Bhatnagar

No ratings
8080 programming for logic design by Adam Osborne - Book Cover

8080 programming for logic design

Adam Osborne

No ratings
Evaluation of Novel Approaches to Software Engineering by Leszek A. Maciaszek - Book Cover

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

No ratings
Intelligent agents VII by Cristiano Castelfranchi - Book Cover

Intelligent agents VII

Cristiano Castelfranchi

No ratings
Descriptional Complexity of Formal Systems
            
                Lecture Notes in Computer Science  Theoretical Computer Sci by Markus Holzer - Book Cover

Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci

Markus Holzer

No ratings
Conceptual Modeling Er 2010 29th International Conference On Conceptual Modeling Vancouver Bc Canada November 14 2010 Proceedings by Motoshi Saeki - Book Cover

Conceptual Modeling Er 2010 29th International Conference On Conceptual Modeling Vancouver Bc Canada November 14 2010 Proceedings

Motoshi Saeki

No ratings
Multiple-valued logic design by George Epstein - Book Cover

Multiple-valued logic design

George Epstein

No ratings
NOR network transduction system by K. C. Hu - Book Cover

NOR network transduction system

K. C. Hu

No ratings
Mathematical Foundations of Computer Science 2005 by Andrzej Szepietowski - Book Cover

Mathematical Foundations of Computer Science 2005

Andrzej Szepietowski

No ratings
...