Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Logic for Learning: Learning Comprehensible Theories from Structured Data, Author: John W. Lloyd
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Title: Constraint Handling Rules, Author: Thom Frühwirth
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Digital Logic for Computing, Author: John Seiffertt
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
Title: Logic Synthesis for Field-Programmable Gate Arrays, Author: Rajeev Murgai
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Sequential Logic Synthesis, Author: Pranav Ashar
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
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: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
Title: Logics for Emerging Applications of Databases / Edition 1, Author: Jan Chomicki
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth

Pagination Links