Title: Logic And Declarative Language, Author: M. Downward
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age, Author: Paul J. Nahin
Title: Introduction to Logic Design, Author: Svetlana N. Yanushkevich
Title: Logic Functions and Equations: Binary Models for Computer Science, Author: Christian Posthoff
Title: Digital Design and Computer Architecture, Author: David Harris
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Jumpstarting Your Own PCB: Learn How to Design and Make Customized Circuit Boards, Author: Shawn Wallace
Title: Digital Logic for Computing, Author: John Seiffertt
Title: 100 Power Tips for FPGA Designers, Author: Evgeni Stavinov
Title: Numbers and Computers, Author: Ronald T. Kneusel
Title: Digital Logic Design, Author: Brian Holdsworth
Title: Digital Design: Basic Concepts and Principles, Author: Mohammad Karim
Title: FPGAs: Instant Access, Author: Clive Maxfield
Explore Series
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari

Pagination Links