Just Announced: The Children's & YA Book Awards Winners Explore Now
1- 20 of 204 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: 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: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
QUICK ADD
Inductive Logic Programming:…
by David Page (Editor)
#1446 in Series
Paperback $54.99
Title: Verilog HDL Synthesis, A Practical Primer, Author: J Bhasker
QUICK ADD
Verilog HDL Synthesis, A…
by J Bhasker
Paperback $74.95
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
QUICK ADD
Constraint Solving and…
by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
#3438 in Series
Paperback $54.99
Title: Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / Edition 1, Author: Filip Zelezný
QUICK ADD
Inductive Logic Programming:…
by Filip Zelezný, Nada Lavrac
#5194 in Series
Paperback $54.99
Title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic, Author: Tobias Nipkow
QUICK ADD
Isabelle/HOL: A Proof…
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
#2283 in Series
Paperback $59.99
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Language…
by Manuel Hermenegildo, Jaan Penjam
#844 in Series
Paperback $54.99
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: Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Edition 1, Author: Matthias Baaz
QUICK ADD
Computer Science Logic: 17th…
by Matthias Baaz, Johann M. Makowsky
#2803 in Series
Paperback $109.99
Title: Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / Edition 1, Author: Laurent Fribourg
QUICK ADD
Logic Program Synthesis and…
by Laurent Fribourg, Franco Turini
#883 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov (Editor)
#698 in Series
Paperback $54.99
Title: Digital Logic for Computing, Author: John Seiffertt
QUICK ADD
Digital Logic for Computing
by John Seiffertt
Paperback $54.99
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
QUICK ADD
Modal and Temporal Properties…
by Colin Stirling
Explore Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez, Christine Paulin-Mohring
#1512 in Series
Paperback $54.99
Title: Parallelism in Logic: Its Potential for Performance and Program Development, Author: Franz Kurfeß
QUICK ADD
Parallelism in Logic: Its…
by Franz Kurfeß (With)
Explore Series
Paperback $59.99
Title: Inductive Logic Programming: 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers, Author: Stan Matwin
QUICK ADD
Inductive Logic Programming:…
by Stan Matwin (Editor), Claude Sammut (Editor)
#2583 in Series
Paperback $54.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: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / Edition 1, Author: Yukiyoshi Kameyama
QUICK ADD
Functional and Logic…
by Yukiyoshi Kameyama, Peter J. Stuckey
#2998 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

Pagination Links