Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Digital Systems Design with FPGAs and CPLDs, Author: Ian Grout
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Logic And Declarative Language, Author: M. Downward
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Godel's Incompleteness Theorems, Author: Raymond M. Smullyan
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: Mastering ROS for Robotics Programming: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
Title: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Explore Series
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings, Author: Marek Michalewicz
Title: DECISION THEORY WITH IMPERFECT INFORMATION, Author: Rafik Aziz Aliev
Title: Belief Revision in Non-Classical Logics, Author: Márcio Moretto Ribeiro
Title: Digital Design and Computer Architecture, Author: David Harris
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar

Pagination Links