1- 20 of 224 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
QUICK ADD
Logic in Computer Science:…
by Michael Huth, Mark Ryan
Paperback $73.00
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
QUICK ADD
Digital Design and Computer…
by Sarah Harris, David Harris
Paperback $99.95
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
Paperback $54.99
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
QUICK ADD
Digital Design and Computer…
by David Harris, Sarah Harris
Paperback $89.95
Title: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
QUICK ADD
Mastering ROS for Robotics…
by Lentin Joseph, Jonathan Cacace
Paperback $79.99
Title: Logic Design and Verification Using SystemVerilog (Revised), Author: Donald Thomas
QUICK ADD
Logic Design and Verification…
by Donald Thomas
Paperback $69.95
Title: Logic Synthesis for Field-Programmable Gate Arrays, Author: Rajeev Murgai
QUICK ADD
Logic Synthesis for…
by Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
#324 in Series
Paperback $109.99
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
QUICK ADD
Logic-Based Program Synthesis…
by Annalisa Bossi
#1817 in Series
Paperback $54.99
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
QUICK ADD
Transactions on Computational…
by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
#8911 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Edition 1, Author: Harald Ganzinger
QUICK ADD
Logic Programming and…
by Harald Ganzinger, David McAllester, Andrei Voronkov
#1705 in Series
Paperback $54.99
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
QUICK ADD
VLSI Chip Design with the…
by Ulrich Golze
Paperback $54.99
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.99
Title: Proof and Computation, Author: Helmut Schwichtenberg
QUICK ADD
Proof and Computation
by Helmut Schwichtenberg (Editor)
#139 in Series
Paperback $109.99
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
QUICK ADD
Handbook of Logic and Proof…
by Steven G. Krantz
Paperback $54.99
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1, Author: Louis M. Pereira
QUICK ADD
Non-Monotonic Extensions of…
by Louis M. Pereira, Teodor C. Przymusinski
#927 in Series
Paperback $54.99
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
QUICK ADD
Computation Engineering:…
by Ganesh Gopalakrishnan
Paperback $124.00
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Edition 1, Author: Tamas Horváth
QUICK ADD
Inductive Logic Programming:…
by Tamas Horváth, Akihiro Yamamoto
#2835 in Series
Paperback $54.99
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
QUICK ADD
Principles of Verilog Digital…
by Wen-Long Chin
Paperback $72.99
Title: An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic, Author: Richard F. Von Dohlen
QUICK ADD
An Introduction to the Logic…
by Richard F. Von Dohlen
Paperback $69.99
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Edition 1, Author: Wayne Luk
QUICK ADD
Field Programmable Logic and…
by Wayne Luk, Peter Y.K. Cheung, Manfred Glesner
#1304 in Series
Paperback $54.99

Pagination Links