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
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 36 offresEUR 56,82
-
Evolutionary Algorithms for Vlsi CAD
Drechsler, Rolf
Prix des articles à partir de
Afficher les 23 offresEUR 25,34
-
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 29 offresEUR 70,24
-
Formal Verification of Circuits
Drechsler, Rolf
Prix des articles à partir de
Afficher les 23 offresEUR 44,31
-
Enhanced Virtual Prototyping: Featuring Risc-v Case Studies
Herdt, Vladimir; Große, Daniel; Drechsler, Rolf
Prix des articles à partir de
Afficher les 23 offresEUR 74,24
Rechercher également
Neuf
Affichage de 8 sur 35 livres