Title: Computer Aided Logical Design with Emphasis on VLSI / Edition 4, Author: Frederick J. Hill
Title: Digital Designing in the Programmable Logic Devices / Edition 1, Author: John W. Carter
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II / Edition 1, Author: Antonis C. Kakas
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: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Conclog: A Methodological Approach to Concurrent Logic Programming / Edition 1, Author: Jean-Marie Jacquet
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
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: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
Title: Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1, Author: Jan van Eijck
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / Edition 1, Author: Miki Hermann
Title: Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / Edition 1, Author: Laurent Fribourg
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
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

Pagination Links