41- 60 of 202 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
QUICK ADD
Formal Logical Methods for…
by Orna Grumberg, Tobias Nipkow, Christian Pfaller
Hardcover $161.00
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King
QUICK ADD
Logic-Based Program Synthesis…
by Andy King
#4915 in Series
Paperback $54.99
Title: Fundamentals of Digital Logic with VHDL Design / Edition 3, Author: Stephen Brown
QUICK ADD
Fundamentals of Digital Logic…
by Stephen Brown
Explore Series
Hardcover $205.50
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / Edition 1, Author: Jacques Garrigue
QUICK ADD
Functional and Logic…
by Jacques Garrigue, Manuel Hermenegildo
#4989 in Series
Paperback $54.99
Title: Digital Design: Basic Concepts and Principles / Edition 1, Author: Mohammad Karim
QUICK ADD
Digital Design: Basic Concepts…
by Mohammad Karim, Xinghao Chen
Hardcover $170.00
Title: Rapid Prototyping of Digital Systems / Edition 1, 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 Modern Digital Design / Edition 1, Author: Parag K. Lala
QUICK ADD
Principles of Modern Digital…
by Parag K. Lala
Hardcover $175.95
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / Edition 1, Author: Chitta Baral
QUICK ADD
Logic Programming and…
by Chitta Baral, Gerhard Brewka, John Schlipf
#4483 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: 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
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
QUICK ADD
An Inductive Logic Programming…
by K. Kersting
#148 in Series
Paperback $168.00
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
QUICK ADD
Parallel and Distributed Logic…
by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
#24 in Series
Hardcover $169.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 / Edition 1, Author: Brahim Hnich
QUICK ADD
Recent Advances in Constraints…
by Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi
#3978 in Series
Paperback $54.99
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
QUICK ADD
Computation Engineering:…
by Ganesh Gopalakrishnan
Hardcover $124.00
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
QUICK ADD
Functional and Logic…
by Masami Hagiya, Philip Wadler
#3945 in Series
Paperback $54.99
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
QUICK ADD
Logic Based Program Synthesis…
by Patricia M. Hill
#3901 in Series
Paperback $54.99
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
QUICK ADD
Synthesis of Arithmetic…
by Jean-Pierre Deschamps, Gery J.A. Bioul, Gustavo D. Sutter
Hardcover $211.95
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
QUICK ADD
Fundamentals of Switching…
by Jaakko Astola, Radomir S. Stankovic
Hardcover $54.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: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / Edition 1, Author: Geoff Sutcliffe
QUICK ADD
Logic for Programming,…
by Geoff Sutcliffe, Andrei Voronkov
#3835 in Series
Paperback $109.99

Pagination Links