Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Digital Logic Design, Author: Brian Holdsworth
Title: FPGAs: World Class Designs, Author: Clive Maxfield
Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Multiple-Valued Logic Design: an Introduction, Author: G Epstein
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: CONTEMPORARY QUALITY FUNCTION DEPLOYMENT PRODUCT & PROCESS: Towards Digital Transformation of Customer and Product Information in a New Knowledge-Based Approach, Author: Thomas Lager
Title: Mastering ROS for Robotics Programming: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
Title: Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings, Author: Marek Michalewicz
Title: Essentials of Error-Control Coding Techniques, Author: Hideki Imai
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Logic Functions and Equations: Binary Models for Computer Science, Author: Christian Posthoff

Pagination Links