Rolf Drechsler
Articles populaires de Rolf Drechsler
Afficher toutes les offres-
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Chandrasekharan, Arun; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 35 offresEUR 17,00
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Prix des articles à partir de
Afficher les 25 offresEUR 18,00
-
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Prix des articles à partir de
Afficher les 25 offresEUR 15,00
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 38 offresEUR 57,67
-
Towards One-Pass Synthesis
Drechsler, Rolf
Prix des articles à partir de
Afficher les 31 offresEUR 54,32
-
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Prix des articles à partir de
Afficher les 22 offresEUR 86,24
-
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Herdt, Vladimir; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 25 offresEUR 74,24
Rechercher également
Neuf -
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Abdessaied, Nabila; Drechsler, Rolf
Prix des articles à partir de
Afficher les 28 offresEUR 46,22
Affichage de 8 sur 35 livres