Tutor AI

Logic design

Featured — award winners and classics first, when available. Use “Show different books” for a new selection.

🔄 Show different books

P-functions and Boolean matrix factorization

André Thayse

1984

Introduction to Logic and Computer Design with CD

Alan B. Marcovitz

2007

Cuisine en dix minutes

Mary Hyman, Philip Hyman, Édouard de Pomiane

1994

Software Engineering 2

Dines Bjorner

2006

Grid computing

Radu Prodan

2007

Contemporary logic design

Randy H. Katz, Gaetano Borriello

1994

Lectures on Logic and Computation

Nick Bezhanishvili

2012

Instructor's solutions manual for fundamentals of logic design

Charles H. Roth

2004

Fundamentals of logic design

Charles H. Roth

1979

Verification of sequential and concurrent programs

Krzysztof R. Apt

2009

Switching circuits; theory and logic design

H. C. Torng

1972

Logical design of switching circuits

Douglas Lewin

1968

Implementation and Application of Automata

Michael Domaratzki

2011

Fundamentals of algebraic graph transformation

Hartmut Ehrig

2006

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver, Charles C. Morgan

2004

Integrated Formal Methods

John Derrick

2012

Digital design

M. Morris Mano

1984 ★ 4.7

Programming Logic and Design

Joyce Farrell

2004

Energy Efficient Hardware - Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/Crc Computer & Information Science Series)

Jingzhao Ou

2009

Digital logic and state machine design

David J. Comer

1984

CMOS VLSI design

David Money Harris, Neil H. E. Weste, Neil Weste

2005

Microprogrammed state machine design

Michel A. Lynch

1993

Digital logic design

Gideon Langholz

1988

Concurrency theory

Howard Bowman

2006

Digital Design with CPLD Applications and VHDL

Robert Dueck

2004

Programmable controllers using Allen-Bradley SLC 500 and ControlLogix

George Leinonen, Robert Filer

2001

Programming in Prolog

William F. Clocksin, Christopher S. Mellish

1981

The Computer Architecture and Logic Design

Thomas C. Bartee

1991

Logic synthesis and verification algorithms

Gary D. Hachtel

1996

Complexity theory

Ingo Wegener

2005