Suchergebnisse
35 Treffer für Ihre erweiterte Suche. (Suche verfeinern)
Recent Findings in Boolean Techniques
von:
Rolf Drechsler, Daniel Große
Verlag:
Preis:
CHF 118.00
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:
CHF 97.00
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:
CHF 59.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Computer
von:
Rolf Drechsler, Andrea Fink, Jannis Stoppe
Verlag:
Preis:
CHF 18.00
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Automatic Methods for the Refinement of System Models
von:
Julia Seiter, Robert Wille, Rolf Drechsler
Verlag:
Preis:
CHF 59.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Advanced BDD Optimization
von:
Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Verlag:
Preis:
CHF 177.00
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:
CHF 118.00
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
166
Dieses eBook enthält ein Wasserzeichen.
Test Pattern Generation using Boolean Proof Engines
von:
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Verlag:
Preis:
CHF 118.00
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:
CHF 118.00
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:
CHF 118.00
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
184
Dieses eBook enthält ein Wasserzeichen.
High Quality Test Pattern Generation and Boolean Satisfiability
von:
Stephan Eggersglüß, Rolf Drechsler
Verlag:
Preis:
CHF 118.00
Format:
PDF
Sprache:
englisch
Anzahl Seiten:
193
Dieses eBook enthält ein Wasserzeichen.
Formal Specification Level
von:
Mathias Soeken, Rolf Drechsler
Verlag:
Preis:
CHF 118.00
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:
CHF 59.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Reversible and Quantum Circuits
von:
Nabila Abdessaied, Rolf Drechsler
Verlag:
Preis:
CHF 59.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Formal System Verification
von:
Rolf Drechsler
Verlag:
Preis:
CHF 142.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Advanced Logic Synthesis
von:
André Inácio Reis, Rolf Drechsler
Verlag:
Preis:
CHF 118.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
von:
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Verlag:
Preis:
CHF 177.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Design Automation Techniques for Approximation Circuits
von:
Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Verlag:
Preis:
CHF 59.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Information Storage
von:
Cornelia S. Große, Rolf Drechsler
Verlag:
Preis:
CHF 118.00
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Enhanced Virtual Prototyping
von:
Vladimir Herdt, Daniel Große, Rolf Drechsler
Verlag:
Preis:
CHF 100.50
Format:
PDF
Sprache:
englisch
Dieses eBook enthält ein Wasserzeichen.
Noch analog oder lebst Du schon?
von:
Rolf Drechsler, Jannis Stoppe
Verlag:
Preis:
CHF 16.00
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Verbessertes virtuelles Prototyping
von:
Vladimir Herdt, Daniel Große, Rolf Drechsler
Verlag:
Preis:
CHF 79.50
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
In-Memory-Computing
von:
Saeideh Shirinzadeh, Rolf Drechsler
Verlag:
Preis:
CHF 97.00
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
Formal Verification of Structurally Complex Multipliers
von:
Alireza Mahzoon, Daniel Große, Rolf Drechsler
Verlag:
Preis:
CHF 106.50
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:
CHF 97.00
Format:
PDF
Sprache:
deutsch
Dieses eBook enthält ein Wasserzeichen.
