Title: LOGICAL FOUNDATION COMP SCI (2V): (In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic, Author: Peter A Fejer
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Introduction to Logic Design, Author: Svetlana N. Yanushkevich
Title: Logic Design of NanoICS, Author: Svetlana N. Yanushkevich
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Logic Functions and Equations: Binary Models for Computer Science, Author: Christian Posthoff
Title: Digital Design: Basic Concepts and Principles, Author: Mohammad Karim
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Introduction to Logic Design, Author: Sajjan G. Shiva
Title: Advanced Signal Integrity for High-Speed Digital Designs, Author: Stephen H. Hall
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
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: Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings, Author: Marek Michalewicz
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Reversible Computation: 16th International Conference, RC 2024, Torun, Poland, July 4-5, 2024, Proceedings, Author: Torben Ægidius Mogensen
Title: Digital Design and Computer Architecture, Author: David Harris
Title: Digital Systems Design with FPGAs and CPLDs, Author: Ian Grout

Pagination Links