Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
Title: LOGIC & LANG MODEL COMP (4TH ED), Author: Dana Richards
eBook $35.49 $47.00 Current price is $35.49, Original price is $47.00.
Title: Prolog: The Standard: Reference Manual, Author: Pierre Deransart
Title: Digital Design and Computer Architecture, Author: David Harris
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman
eBook $74.99 $99.95 Current price is $74.99, Original price is $99.95.
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Foundations of Logic Programming, Author: John W. Lloyd
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
Title: Logic Programming Languages: Constraints, Functions, and Objects, Author: Krzysztof R. Apt
Title: Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September, Author: Julian Bradfield
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / Edition 1, Author: Jacques Garrigue
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II / Edition 1, Author: Antonis C. Kakas
Title: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
Title: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development / Edition 1, Author: Maurice Bruynooghe
Title: Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, Author: Claudio Antares Mezzina
Title: Digital Design: Basic Concepts and Principles / Edition 1, Author: Mohammad Karim

Pagination Links