Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Introduction to Logic Design / Edition 3, Author: Alan B. Marcovitz
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
Title: Fundamentals of Digital Logic with Verilog Design / Edition 3, Author: Zvonko Vranesic
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
Title: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings / Edition 1, Author: Lars-Henrik Eriksson
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems / Edition 1, Author: John V. Oldfield
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Edition 1, Author: Mogens Nielsen
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
Title: Logical Effort: Designing Fast CMOS Circuits / Edition 1, Author: Ivan Sutherland
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: José Bacelar Almeida
Title: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, / Edition 1, Author: Dietmar Seipel
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan

Pagination Links