Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, / Edition 1, Author: Dietmar Seipel
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1, Author: Patricia M. Hill
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / Edition 1, Author: Henning Christiansen
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
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 / Edition 1, Author: Brahim Hnich
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Edition 1, Author: Tamas Horváth
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
Paperback from $63.57 $89.99 Current price is $63.57, Original price is $89.99.
Title: Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / Edition 1, Author: Chitta Baral
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
Title: Synchronous Precharge Logic, Author: Marek Smoszna

Pagination Links