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: 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: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Title: Introduction to Logic Design, Author: Alan B. Marcovitz
Title: Digital Logic for Computing, Author: John Seiffertt
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: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings, Author: Nadine Azemard
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
Title: Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, Author: Mogens Nielsen
Title: Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Author: Ulrich W. Kulisch
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, Author: Masami Hagiya
Title: Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, Author: Nicolas Maudet
Title: Logic for Applications, Author: Anil Nerode
Title: Logic Synthesis Using Synopsys®, Author: Pran Kurup
Title: Arithmetic and Logic in Computer Systems, Author: Mi Lu

Pagination Links