Premium Members Get 10% Off and Earn Rewards Find Out More
1- 20 of 301 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: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson, J. Siekmann
Explore Series
Hardcover $490.00
Title: LOGIC & LANG MODEL COMP (4TH ED), Author: Dana Richards
QUICK ADD
LOGIC & LANG MODEL COMP (4TH…
by Dana Richards, Henry Hamburger
eBook $35.49 $47.00 Current price is $35.49, Original price is $47.00.
Title: Prolog: The Standard: Reference Manual, Author: Pierre Deransart
QUICK ADD
Prolog: The Standard:…
by Pierre Deransart, C. Biro (Foreword by), R.S. Scowen (Preface by), AbdelAli Ed-Dbali, Laurent Cervoni
Paperback $119.99
Title: Aprende a Modelar Aplicaciones con UML - Tercera Edición, Author: Julián Esteban Gracia Burgués
QUICK ADD
Aprende a Modelar Aplicaciones…
by Julián Esteban Gracia Burgués
eBook $6.95
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
QUICK ADD
Reversible Computation: 8th…
by Simon Devitt, Ivan Lanese
#9720 in Series
Paperback $54.99
Title: Parallelism and Implementation of Logic and Constraint Logic Programming, Author: Ines de Castro Dutra
QUICK ADD
Parallelism and Implementation…
by Ines de Castro Dutra, Manuel Carro, Vitor. Santos Costa, Gupal Gupta, Enrico Pontelli
Hardcover $165.00
Title: Representations of Discrete Functions / Edition 1, Author: Tsutomu Sasao
QUICK ADD
Representations of Discrete…
by Tsutomu Sasao, Masahira Fujita
Hardcover $169.99
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
QUICK ADD
Handbook of Logic and Proof…
by Steven G. Krantz
Paperback $54.99
Title: Challenges for Action Theories, Author: Michael Thielscher
QUICK ADD
Challenges for Action Theories
by Michael Thielscher
#1775 in Series
Paperback $54.99
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
QUICK ADD
Applications of Declarative…
by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
#3392 in Series
Paperback $54.99
Title: Termination Proofs for Logic Programs, Author: Lutz Plümer
QUICK ADD
Termination Proofs for Logic…
by Lutz Plümer
#446 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: Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, Author: Barry O'Sullivan
QUICK ADD
Recent Advances in Constraints…
by Barry O'Sullivan (Editor)
#2627 in Series
Paperback $54.99
Title: Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Edition 1, Author: Mogens Nielsen
QUICK ADD
Computer Science Logic: 11th…
by Mogens Nielsen, Wolfgang Thomas
#1414 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: Logically Determined Design: Clockless System Design with NULL Convention Logic / Edition 1, Author: Karl M. Fant
QUICK ADD
Logically Determined Design:…
by Karl M. Fant
Hardcover $179.95
Title: Inductive Logic Programming: 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, Author: Saso Dzeroski
QUICK ADD
Inductive Logic Programming:…
by Saso Dzeroski (Editor), Peter A. Flach (Editor)
#1634 in Series
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: Architecture and CAD for Deep-Submicron FPGAS / Edition 1, Author: Vaughn Betz
QUICK ADD
Architecture and CAD for…
by Vaughn Betz, Jonathan Rose, Alexander Marquardt
#497 in Series
Hardcover $219.99

Pagination Links