1- 20 of 124 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 $72.99
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
QUICK ADD
Digital Design and Computer…
by David Harris, Sarah Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
QUICK ADD
Foundations of Inductive Logic…
by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
#1228 in Series
Paperback $84.99
Title: Computer Aided Logical Design with Emphasis on VLSI / Edition 4, Author: Frederick J. Hill
QUICK ADD
Computer Aided Logical Design…
by Frederick J. Hill, Gerald R. Peterson
Paperback $264.75
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $109.99
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
QUICK ADD
Logic in Databases:…
by Dino Pedreschi, Carlo Zaniolo
#1154 in Series
Paperback $54.99
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
QUICK ADD
Reversible Computation: 10th…
by Jarkko Kari, Irek Ulidowski
#11106 in Series
Paperback $54.99
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
QUICK ADD
Programming Language…
by Jan Maluszynski, Martin Wirsing
#528 in Series
Paperback $54.99
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore Series
Paperback $109.99
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
QUICK ADD
Extensions of Logic…
by Peter Schroeder-Heister
#475 in Series
Paperback $54.99
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri
QUICK ADD
Computational Logic in…
by Fariba Sadri, Ken Satoh
#5056 in Series
Paperback $54.99
Title: Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Edition 1, Author: Jerzy Marcinkowski
QUICK ADD
Computer Science Logic: 18th…
by Jerzy Marcinkowski
#3210 in Series
Paperback $54.99
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
QUICK ADD
Numbers and Computers /…
by Ronald T. Kneusel
Paperback $64.99
Title: Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings / Edition 1, Author: V. Wiktor Marek
QUICK ADD
Logic Programming and…
by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
#928 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
QUICK ADD
Logic-Based Program Synthesis…
by Germán Puebla
#4407 in Series
Paperback $54.99
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
QUICK ADD
Reasoning in Boolean Networks:…
by Wolfgang Kunz, Dominik Stoffel
#9 in Series
Paperback $169.99
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Paperback $109.99
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
QUICK ADD
Automated Reasoning: Second…
by David Basin, Michael Rusinowitch
#3097 in Series
Paperback $109.99
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
QUICK ADD
Logic Synthesis and…
by Gary D. Hachtel, Fabio Somenzi
Paperback from $63.57 $89.99 Current price is $63.57, Original price is $89.99.
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / Edition 1, Author: Miki Hermann
QUICK ADD
Logic for Programming,…
by Miki Hermann, Andrei Voronkov
#4246 in Series
Paperback $109.99

Pagination Links