Title: Structural Health Monitoring: A Machine Learning Perspective / Edition 1, Author: Charles R. Farrar
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Fundamentals of Digital Logic with VHDL Design / Edition 3, Author: Stephen Brown
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Arithmetic and Logic in Computer Systems / Edition 1, Author: Mi Lu
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Advanced ASIC Chip Synthesis: Using Synopsys' Design Compiler and PrimeTime, Author: Himanshu Bhatnagar
Title: Logic for Learning: Learning Comprehensible Theories from Structured Data, Author: John W. Lloyd
Title: Introduction to Logic Design / Edition 2, Author: Sajjan G. Shiva
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
Title: Logic Synthesis for Low Power VLSI Designs / Edition 1, Author: Sasan Iman

Pagination Links