Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
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: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Edition 1, Author: Wayne Luk
Title: Essentials of Logic Programming, Author: Christopher John Hogger
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Edition 1, Author: Jerzy Marcinkowski
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
Title: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / Edition 1, Author: Juergen Dix
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: An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic, Author: Richard F. Von Dohlen
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
Title: Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / Edition 1, Author: Georg Gottlob
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1, Author: Patricia M. Hill

Pagination Links