Title: Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / Edition 1, Author: Dirk van Dalen
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: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
Title: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
Title: Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / Edition 1, Author: Hubert Comon
Title: Multiple-Valued Logic Design: an Introduction / Edition 1, Author: G Epstein
Title: Logical Effort: Designing Fast CMOS Circuits / Edition 1, Author: Ivan Sutherland
Title: Digital Designing in the Programmable Logic Devices / Edition 1, Author: John W. Carter
Paperback from $173.42 $223.00 Current price is $173.42, Original price is $223.00.
Title: Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / Edition 1, Author: François Fages
Title: Field-Programmable Gate Array Technology / Edition 1, Author: Stephen M. Trimberger
Title: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Edition 1, Author: Michael Hanus
Title: VHDL: A logic synthesis approach / Edition 1, Author: D. Naylor
Title: Conclog: A Methodological Approach to Concurrent Logic Programming / Edition 1, Author: Jean-Marie Jacquet
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 for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / Edition 1, Author: Iliano Cervesato
Title: Architecture and CAD for Deep-Submicron FPGAS / Edition 1, Author: Vaughn Betz
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
Title: Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
Title: Digital Design and Implementation with Field Programmable Devices / Edition 1, Author: Zainalabedin Navabi
Title: Fuzzy Logic Theory And Applications: Part I And Part Ii, Author: Lotfi A Zadeh

Pagination Links