Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Introduction to Logic Design, Author: Alan B. Marcovitz
Title: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen, Author: Rune Krauss
Title: Fundamentals of Digital Logic with Verilog Design, Author: Zvonko Vranesic
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 Control Automata, Author: Samary Baranov
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers, Author: Louis M. Pereira
Title: Logic for Learning: Learning Comprehensible Theories from Structured Data, Author: John W. Lloyd
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, Author: Brahim Hnich
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
Title: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution, Author: Robert L. Carpenter
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings, Author: Iliano Cervesato
Title: Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems, Author: Victor I. Varshavsky
Title: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, Author: Luis Moniz Pereira
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou

Pagination Links