Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Constraint Handling Rules, Author: Thom Frühwirth
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Digital Logic for Computing, Author: John Seiffertt
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Logics for Emerging Applications of Databases / Edition 1, Author: Jan Chomicki
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Arithmetic and Logic in Computer Systems / Edition 1, Author: Mi Lu
Title: Contemporary Quality Function Deployment For Product And Process Innovation: Towards Digital Transformation Of Customer And Product Information In A New Knowledge-based Approach, Author: Thomas Lager
Title: Advances in Inductive Logic Programming / Edition 1, Author: L De Raedt

Pagination Links