Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age, Author: Paul J. Nahin
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, Author: Jean Krivine
Title: Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, Author: Maurizio Gabbrielli
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Advanced ASIC Chip Synthesis: Using Synopsys' Design Compiler and PrimeTime, Author: Himanshu Bhatnagar
Title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic, Author: Tobias Nipkow
Title: Make: FPGAs: Turning Software into Hardware with Eight Fun and Easy DIY Projects, Author: David Romano
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
Title: Machine Learning for Emotion Analysis in Python: Build AI-powered tools for analyzing emotion using natural language processing and machine learning, Author: Allan Ramsay
Title: Field-Programmable Gate Array Technology, Author: Stephen M. Trimberger
Title: Field Programmable Logic and Applications: 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings, Author: Patrick Lysaght
Title: Numbers and Computers, Author: Ronald T. Kneusel
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
Title: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Author: Hector J. Levesque

Pagination Links