Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
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: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
Title: Logic Design and Verification Using SystemVerilog (Revised), Author: Donald Thomas
Title: Logic Synthesis for Field-Programmable Gate Arrays, Author: Rajeev Murgai
Title: Logically Determined Design: Clockless System Design with NULL Convention Logic / Edition 1, Author: Karl M. Fant
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Edition 1, Author: Harald Ganzinger
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
Title: Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers, Author: John Gustafson
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
Title: Proof and Computation, Author: Helmut Schwichtenberg

Pagination Links