Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Rolf Drechsler

Rasta: 43
  1. 1
  2. 2
Spectral Techniques in VLSI CAD
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Formal Verification of Circuits
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Evolutionary Algorithms for VLSI CAD
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Binary Decision Diagrams: Theory and Implementation
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Towards One-Pass Synthesis
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Advanced BDD Optimization
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Formal Verification of Circuits
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Binary Decision Diagrams: Theory and Implementation
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Towards One-Pass Synthesis
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Robustness and Usability in Modern Design Flows
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Evolutionary Algorithms for VLSI CAD
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Test Pattern Generation using Boolean Proof Engines
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
High Quality Test Pattern Generation and Boolean Satisfiability
-15% su kodu: ENG15
140,23 
164,98 
Išsiųsime per 11-15 d. d.
Spectral Techniques in VLSI CAD
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Formal Specification Level: Concepts, Methods, and Algorithms
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Quality-Driven SystemC Design
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
High Quality Test Pattern Generation and Boolean Satisfiability
-15% su kodu: ENG15
144,18 
169,62 
Išsiųsime per 11-15 d. d.
Towards a Design Flow for Reversible Logic
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Debugging at the Electronic System Level
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Reversible and Quantum Circuits: Optimization and Complexity Analysis
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Formal Specification Level: Concepts, Methods, and Algorithms
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Exact Design of Digital Microfluidic Biochips
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Reversible and Quantum Circuits: Optimization and Complexity Analysis
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
In-Memory Computing: Synthesis and Optimization
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Exact Design of Digital Microfluidic Biochips
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 43
  1. 1
  2. 2