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: Isabelle/HOL: A Proof Assistant for Higher-Order Logic, Author: Tobias Nipkow
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: Logic Programming: Operational Semantics and Proof Theory, Author: James H. Andrews
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / Edition 1, Author: Maurizio Gabbrielli
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Digital Design and Computer Architecture, Author: David Harris
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems / Edition 1, Author: John V. Oldfield
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
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
Title: Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / Edition 1, Author: Sandro Etalle
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
Title: Principles of Modern Digital Design / Edition 1, Author: Parag K. Lala
Title: Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. / Edition 1, Author: Roy Dyckhoff

Pagination Links