1- 20 of 348 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
QUICK ADD
High Speed Digital Design: A…
by Howard Johnson, Martin Graham
Explore Series
Hardcover $172.90
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: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
QUICK ADD
Logic in Computer Science:…
by Michael Huth, Mark Ryan
Paperback $73.00
Title: Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, Author: Jean Krivine
QUICK ADD
Reversible Computation: 7th…
by Jean Krivine (Editor), Jean-Bernard Stefani (Editor)
#9138 in Series
Paperback $54.99
Title: Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, Author: Maurizio Gabbrielli
QUICK ADD
Logic Programming: 21st…
by Maurizio Gabbrielli (Editor), Gopal Gupta (Editor)
#3668 in Series
Paperback $54.99
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
QUICK ADD
Handbook of Practical Logic…
by John Harrison
Hardcover $171.00
Title: Advanced ASIC Chip Synthesis: Using Synopsys' Design Compiler and PrimeTime, Author: Himanshu Bhatnagar
QUICK ADD
Advanced ASIC Chip Synthesis:…
by Himanshu Bhatnagar
Hardcover $165.00
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: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
QUICK ADD
Fundamentals of Logic and…
by Zhe Hou
Explore Series
Hardcover $64.99
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
QUICK ADD
Principles of Verilog Digital…
by Wen-Long Chin
Hardcover $210.00
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
QUICK ADD
Digital Design and Computer…
by Sarah Harris, David Harris
eBook $78.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: Logic and Language: Studies dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, Author: B.H. Kazemier
QUICK ADD
Logic and Language: Studies…
by B.H. Kazemier (Editor), D. Vuysje (Editor)
#5 in Series
Hardcover $109.99
Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications, Author: Kanupriya Gulati
QUICK ADD
Advanced Techniques in Logic…
by Kanupriya Gulati (Editor)
Hardcover $179.99
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.99
Title: Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers, Author: François Fages
QUICK ADD
Recent Advances in Constraints…
by François Fages (Editor), Francesca Rossi (Editor), Sylvain Soliman (Editor)
#5129 in Series
Paperback $54.99
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings, Author: Tamas Horváth
QUICK ADD
Inductive Logic Programming:…
by Tamas Horváth (Editor), Akihiro Yamamoto (Editor)
#2835 in Series
Paperback $54.99
Title: CONTEMPORARY QUALITY FUNCTION DEPLOYMENT PRODUCT & PROCESS: Towards Digital Transformation of Customer and Product Information in a New Knowledge-Based Approach, Author: Thomas Lager
QUICK ADD
CONTEMPORARY QUALITY FUNCTION…
by Thomas Lager
eBook $110.00
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications, Author: Patrick C. McGeer
QUICK ADD
Integrating Functional and…
by Patrick C. McGeer, Robert K. Brayton
#139 in Series
Hardcover $109.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, Author: Brahim Hnich
QUICK ADD
Recent Advances in Constraints…
by Brahim Hnich (Editor), Mats Carlsson (Editor), Francois Fages (Editor), Francesca Rossi (Editor)
#3978 in Series
Paperback $54.99

Pagination Links