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 33 offresEUR 17,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 22 offresEUR 15,00
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Prix des articles à partir de
Afficher les 12 offresEUR 18,00
-
Formal Verification of Circuits
Drechsler, Rolf
Prix des articles à partir de
Afficher les 22 offresEUR 45,43
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Prix des articles à partir de
Afficher les 23 offresEUR 18,45
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 35 offresEUR 58,54
-
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 22 offresEUR 74,24
Rechercher également
Neuf -
Towards One-Pass Synthesis
Drechsler, Rolf; Gunther, Wolfgang
Prix des articles à partir de
Afficher les 26 offresEUR 86,24
Affichage de 8 sur 36 livres