Shop Black Friday Deals Up to 50% Off Shop Now
1- 20 of 216 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Isabelle/HOL: A Proof Assistant for Higher-Order Logic, Author: Tobias Nipkow
QUICK ADD
Isabelle/HOL: A Proof…
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
#2283 in Series
Paperback $59.99
Title: Digital Logic for Computing, Author: John Seiffertt
QUICK ADD
Digital Logic for Computing
by John Seiffertt
Paperback $54.99
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: 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
QUICK ADD
Integrated Circuit and System…
by Nadine Azemard (Editor), Lars Svensson (Editor)
#4644 in Series
Paperback $54.99
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $54.99
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
QUICK ADD
Computer Science Logic: 11th…
by Mogens Nielsen (Editor), Wolfgang Thomas (Editor)
#1414 in Series
Paperback $54.99
Title: Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Author: Ulrich W. Kulisch
QUICK ADD
Advanced Arithmetic for the…
by Ulrich W. Kulisch
Explore Series
Paperback $54.99
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, Author: Masami Hagiya
QUICK ADD
Functional and Logic…
by Masami Hagiya (Editor), Philip Wadler (Editor)
#3945 in Series
Paperback $54.99
Title: Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, Author: Nicolas Maudet
QUICK ADD
Argumentation in Multi-Agent…
by Nicolas Maudet (Editor), Simon D. Parsons (Editor), Iyad Rahwan (Editor)
#4766 in Series
Paperback $54.99
Title: Logic for Applications, Author: Anil Nerode
QUICK ADD
Logic for Applications
by Anil Nerode, Richard A. Shore
Explore Series
Paperback $54.99
Title: Logic Synthesis Using Synopsys®, Author: Pran Kurup
QUICK ADD
Logic Synthesis Using Synopsys…
by Pran Kurup, Taher Abbasi
Paperback $169.99
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
QUICK ADD
Formal Verification of…
by David M. Russinoff
Paperback $119.99
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: 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
QUICK ADD
Field-Programmable Logic,…
by Reiner W. Hartenstein (Editor), Manfred Glesner (Editor)
#1142 in Series
Paperback $54.99
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
QUICK ADD
Reversible Computation: 12th…
by Ivan Lanese (Editor), Mariusz Rawski (Editor)
#12227 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 (Editor), C.J. Kenneth Tan (Editor), Himanshu Thapliyal (Editor), Nagarajan Ranganathan (Editor)
#8911 in Series
Paperback $54.99
Title: Over-Constrained Systems, Author: Michael Jampel
QUICK ADD
Over-Constrained Systems
by Michael Jampel (Editor), Eugene Freuder (Editor), Michael Maher (Editor)
#1106 in Series
Paperback $54.99
Title: Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings, Author: Celine Rouveirol
QUICK ADD
Inductive Logic Programming:…
by Celine Rouveirol (Editor), Michele Sebag (Editor)
#2157 in Series
Paperback $54.99
Title: Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, Author: Barry O'Sullivan
QUICK ADD
Recent Advances in Constraints…
by Barry O'Sullivan (Editor)
#2627 in Series
Paperback $54.99

Pagination Links