1- 20 of 126 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 $73.00
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
Paperback $54.99
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
QUICK ADD
Digital Design and Computer…
by David Harris, Sarah Harris
Paperback $89.95
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov
#592 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov
#624 in Series
Paperback $54.99
Title: Logical Effort: Designing Fast CMOS Circuits / Edition 1, Author: Ivan Sutherland
QUICK ADD
Logical Effort: Designing Fast…
by Ivan Sutherland, Robert F. Sproull, David Harris
Explore Series
Paperback $81.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
Paperback $54.99
Title: An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic, Author: Richard F. Von Dohlen
QUICK ADD
An Introduction to the Logic…
by Richard F. Von Dohlen
Paperback $69.99
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: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
Paperback $54.99
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: José Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Explore Series
Paperback $39.95
Title: Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / Edition 1, Author: Michael Kaminski
QUICK ADD
Computer Science Logic: 22nd…
by Michael Kaminski, Simone Martini
#5213 in Series
Paperback $139.00
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
QUICK ADD
Logic Synthesis and…
by Gary D. Hachtel, Fabio Somenzi
Paperback $89.99
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
QUICK ADD
Refinement Calculus: A…
by Ralph-Johan Back, Joakim Wright
Explore Series
Paperback $109.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: 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: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
QUICK ADD
Inductive Logic Programming:…
by Rui Camacho, Ross King, Ashwin Srinivasan
#3194 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings / Edition 1, Author: Vladimir Lifschitz
QUICK ADD
Logic Programming and…
by Vladimir Lifschitz, Ilkka Niemelä
#2923 in 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 / 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: Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / Edition 1, Author: Georg Gottlob
QUICK ADD
Computer Science Logic: 12th…
by Georg Gottlob, Etienne Grandjean, Katrin Seyr
#1584 in Series
Paperback $54.99

Pagination Links