Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: DIGITAL LOGIC DESIGN, Author: MANSAF ALAM
Title: FUZZY LOGIC THEORY AND APPLICATIONS (PART I AND PART II): Part I and Part II, Author: Lotfi A Zadeh
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Multiple-Valued Logic Design: an Introduction, Author: G Epstein
Title: Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers, Author: John Gustafson
Title: FPGAs 101: Everything you need to know to get started, Author: Gina Smith
Title: Logic Design of NanoICS, Author: Svetlana N. Yanushkevich
Title: DECISION THEORY WITH IMPERFECT INFORMATION, Author: Rafik Aziz Aliev
Title: Introduction to Logic Design, Author: Svetlana N. Yanushkevich
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Digital Logic Design, Author: Brian Holdsworth
Title: FPGAs: Instant Access, Author: Clive Maxfield
Explore Series
Title: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, Author: Jonathan Ginzburg
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Logic And Declarative Language, Author: M. Downward
Title: Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers, Author: Marco Nehmeier

Pagination Links