1- 20 of 231 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: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman, Tyson S. Hall
Paperback $79.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: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen, Author: Rune Krauss
QUICK ADD
Speichereffizienter Aufbau von…
by Rune Krauss
Explore Series
Paperback $64.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 Design and Verification Using SystemVerilog (Revised), Author: Donald Thomas
QUICK ADD
Logic Design and Verification…
by Donald Thomas
Paperback $69.95
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers, Author: Louis M. Pereira
QUICK ADD
Non-Monotonic Extensions of…
by Louis M. Pereira (Editor), Teodor C. Przymusinski (Editor)
#927 in Series
Paperback $54.99
Title: Logic for Learning: Learning Comprehensible Theories from Structured Data, Author: John W. Lloyd
QUICK ADD
Logic for Learning: Learning…
by John W. Lloyd
Explore Series
Paperback $54.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
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
QUICK ADD
Programming Language…
by Pierre Deransart (Editor), Jan Maluszynski (Editor)
#456 in Series
Paperback $54.99
Title: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution, Author: Robert L. Carpenter
QUICK ADD
The Logic of Typed Feature…
by Robert L. Carpenter
#32 in Series
Paperback $59.00
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings, Author: Iliano Cervesato
QUICK ADD
Logic for Programming,…
by Iliano Cervesato (Editor), Helmut Veith (Editor), Andrei Voronkov (Editor)
#5330 in Series
Paperback $109.99
Title: Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems, Author: Victor I. Varshavsky
QUICK ADD
Self-Timed Control of…
by Victor I. Varshavsky (Editor)
#52 in Series
Paperback $109.99
Title: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, Author: Luis Moniz Pereira
QUICK ADD
Logic Programming and…
by Luis Moniz Pereira (Editor), Teodor C. Przymusinski (Editor)
#1471 in Series
Paperback $54.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
Paperback $64.99
Title: Relations and Graphs: Discrete Mathematics for Computer Scientists, Author: Gunther Schmidt
QUICK ADD
Relations and Graphs: Discrete…
by Gunther Schmidt, Thomas Ströhlein
Explore Series
Paperback $109.99
Title: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, Author: Maurice Bruynooghe
QUICK ADD
Program Development in…
by Maurice Bruynooghe (Editor), Kung-Kiu Lau (Editor)
#3049 in Series
Paperback $54.99
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings, Author: Maria Garcia Banda
QUICK ADD
Logic Programming: 24th…
by Maria Garcia Banda (Editor), Enrico Pontelli (Editor)
#5366 in Series
Paperback $109.99
Title: Rigorous Software Development: An Introduction to Program Verification, Author: José Bacelar Almeida Pre-Order Now
QUICK ADD
Rigorous Software Development:…
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Explore Series
Paperback $119.99
Title: Proof and Computation, Author: Helmut Schwichtenberg
QUICK ADD
Proof and Computation
by Helmut Schwichtenberg (Editor)
#139 in Series
Paperback $109.99

Pagination Links