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: 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: Digital Logic for Computing, Author: John Seiffertt
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: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: Logic Synthesis for Field-Programmable Gate Arrays, Author: Rajeev Murgai
Title: Field-Programmable Logic, Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings, Author: Reiner W. Hartenstein
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
Title: Over-Constrained Systems, Author: Michael Jampel

Pagination Links