Title: Representations of Discrete Functions / Edition 1, Author: Tsutomu Sasao
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / Edition 1, Author: Brahim Hnich
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / Edition 1, Author: Boi Faltings
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / Edition 1, Author: Krzysztof R. Apt
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: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development / Edition 1, Author: Maurice Bruynooghe
Title: Principles of Modern Digital Design / Edition 1, Author: Parag K. Lala
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / Edition 1, Author: Anthony Beaumont
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya

Pagination Links