Suchergebnisse
35 Treffer für Ihre erweiterte Suche. (Suche verfeinern)
Recent Findings in Boolean Techniques
von:
Rolf Drechsler, Daniel Große
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
von:
Mehran Goli, Rolf Drechsler
Verlag:
Preis:
86,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Languages, Design Methods, and Tools for Electronic System Design
von:
Rolf Drechsler, Robert Wille
Verlag:
Preis:
53,49 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Computer
Verlag:
Preis:
14,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Automatic Methods for the Refinement of System Models
Verlag:
Preis:
53,49 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Advanced BDD Optimization
Verlag:
Preis:
149,79 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
224
Dieses eBook enthält ein Wasserzeichen.
Robustness and Usability in Modern Design Flows
von:
Görschwin Fey, Rolf Drechsler
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
166
Dieses eBook enthält ein Wasserzeichen.
Test Pattern Generation using Boolean Proof Engines
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
192
Dieses eBook enthält ein Wasserzeichen.
Debugging at the Electronic System Level
von:
Frank Rogin, Rolf Drechsler
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
200
Dieses eBook enthält ein Wasserzeichen.
Towards a Design Flow for Reversible Logic
von:
Robert Wille, Rolf Drechsler
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
184
Dieses eBook enthält ein Wasserzeichen.
High Quality Test Pattern Generation and Boolean Satisfiability
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
193
Dieses eBook enthält ein Wasserzeichen.
Formal Specification Level
von:
Mathias Soeken, Rolf Drechsler
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Formal Modeling and Verification of Cyber-Physical Systems
von:
Rolf Drechsler, Ulrich Kühne
Verlag:
Preis:
53,49 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Reversible and Quantum Circuits
Verlag:
Preis:
53,49 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Formal System Verification
von:
Rolf Drechsler
Verlag:
Preis:
117,69 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Advanced Logic Synthesis
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Verlag:
Preis:
149,79 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Design Automation Techniques for Approximation Circuits
Verlag:
Preis:
53,49 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Information Storage
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Enhanced Virtual Prototyping
Verlag:
Preis:
90,94 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Noch analog oder lebst Du schon?
von:
Rolf Drechsler, Jannis Stoppe
Verlag:
Preis:
12,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Verbessertes virtuelles Prototyping
Verlag:
Preis:
69,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
In-Memory-Computing
Verlag:
Preis:
86,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Formal Verification of Structurally Complex Multipliers
Verlag:
Preis:
96,29 €
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
von:
Sebastian Huhn, Rolf Drechsler
Verlag:
Preis:
86,99 €
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.