Title: The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age, Author: Paul J. Nahin
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: Make: FPGAs: Turning Software into Hardware with Eight Fun and Easy DIY Projects, Author: David Romano
Title: Learning FPGAs: Digital Design for Beginners with Mojo and Lucid HDL, Author: Justin Rajewski
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Logic Design and Verification Using SystemVerilog (Revised), Author: Donald Thomas
Title: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
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: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings, Author: Helene Kirchner
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings, Author: Dino Pedreschi
Title: Logic Synthesis and Verification, Author: Soha Hassoun
Title: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits, Author: José Monteiro
Title: Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers, Author: M. Leuschel
Title: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings, Author: Thomas Eiter
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis, Author: William K.C. Lam
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I, Author: A.C. Kakas
Title: Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Author: Martin Kutrib
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Väänänen
Title: Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings, Author: Gerard Comyn

Pagination Links