Shop Black Friday Deals Up to 50% Off Shop Now
1- 20 of 207 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: 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: Digital Logic for Computing, Author: John Seiffertt
QUICK ADD
Digital Logic for Computing
by John Seiffertt
Paperback $54.99
Title: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
QUICK ADD
Mastering ROS for Robotics…
by Lentin Joseph, Jonathan Cacace
Paperback $79.99
Title: Concepts in User Interfaces: A Reference Model for Command and Response Languages, Author: David Beech
QUICK ADD
Concepts in User Interfaces: A…
by David Beech, David Beech (Editor), Christian Gram, Hans-Jürgen Kugler, Ian Newman
#234 in Series
Paperback $54.99
Title: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, Author: Krysia Broda
QUICK ADD
ALPUK92: Proceedings of the…
by Krysia Broda (Editor)
Explore Series
Paperback $54.99
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Vïïnïnen
QUICK ADD
Generalized Quantifiers and…
by Jouko Vïïnïnen (Editor)
#1754 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, Author: Andy King
QUICK ADD
Logic-Based Program Synthesis…
by Andy King (Editor)
#4915 in Series
Paperback $54.99
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, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov (Editor)
#592 in Series
Paperback $54.99
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings, Author: Gerhard Brewka
QUICK ADD
Nonmonotonic and Inductive…
by Gerhard Brewka (Editor), Klaus P. Jantke (Editor), Peter H. Schmitt (Editor)
#659 in Series
Paperback $54.99
Title: Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers, Author: M. Leuschel
QUICK ADD
Logic Based Program Synthesis…
by M. Leuschel (Editor)
#2664 in Series
Paperback $54.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, Author: Krzysztof R. Apt
QUICK ADD
Recent Advances in Constraints…
by Krzysztof R. Apt (Editor), Francois Fages (Editor), Francesca Rossi (Editor), Peter Szeredi (Editor), Josef Váncza (Editor)
#3010 in Series
Paperback $54.99
Title: Sequential Logic Synthesis, Author: Pranav Ashar
QUICK ADD
Sequential Logic Synthesis
by Pranav Ashar, S. Devadas, A. Richard Newton
#162 in Series
Paperback $109.99
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II, Author: Antonis C. Kakas
QUICK ADD
Computational Logic: Logic…
by Antonis C. Kakas (Editor), Fariba Sadri (Editor)
#2408 in Series
Paperback $139.99
Title: Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Author: Martin Kutrib
QUICK ADD
Reversible Computation: 15th…
by Martin Kutrib (Editor), Uwe Meyer (Editor)
#13960 in Series
Paperback $69.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, Author: Brahim Hnich
QUICK ADD
Recent Advances in Constraints…
by Brahim Hnich (Editor), Mats Carlsson (Editor), Francois Fages (Editor), Francesca Rossi (Editor)
#3978 in Series
Paperback $54.99
Title: Digital Design using VerilogHDL: VLSI Modeling, Coding and Verification, Author: Shilpi Birla PhD Pre-Order Now
QUICK ADD
Digital Design using…
by Shilpi Birla PhD, B.P. Singh PhD, Neeraj Kumar Shukla PhD
Paperback $180.00
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings, Author: Manuel Hermenegildo
QUICK ADD
Programming Languages:…
by Manuel Hermenegildo (Editor), S.Doaitse Swierstra (Editor)
#982 in Series
Paperback $54.99
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings, Author: Helene Kirchner
QUICK ADD
Algebraic and Logic…
by Helene Kirchner (Editor), Giorgio Levi (Editor)
#632 in Series
Paperback $54.99
Title: Logical Structures for Representation of Knowledge and Uncertainty, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Paperback $109.99

Pagination Links