Rolf Drechsler
Articles populaires de Rolf Drechsler
Afficher toutes les offres-
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 23 offresEUR 15,00
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Prix des articles à partir de
Afficher les 24 offresEUR 18,00
-
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Chandrasekharan, Arun; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 33 offresEUR 17,00
-
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
Goli, Mehran; Drechsler, Rolf
Prix des articles à partir de
Afficher les 31 offresEUR 10,28
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Prix des articles à partir de
Afficher les 23 offresEUR 16,63
-
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Abdessaied, Nabila; Drechsler, Rolf
Prix des articles à partir de
Afficher les 25 offresEUR 46,22
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 34 offresEUR 56,87
-
Enhanced Virtual Prototyping for Heterogeneous Systems
Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 31 offresEUR 70,24
Affichage de 8 sur 35 livres