Ihre Suche nach „Rolf Drechsler“
Design for Testability, Debug and Reliability
Sebastian Huhn, Rolf Drechsler
Fr. 130.00
Computer
Rolf Drechsler, Andrea Fink, Jannis Stoppe
Fr. 24.90
Computer / Technik im Fokus
Rolf Drechsler, Andrea Fink, Jannis Stoppe
Fr. 18.00
Graphenbasierte Funktionsdarstellung / XLeitfäden der Informatik
Rolf Drechsler, Bernd Becker
Fr. 47.70
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüss, Rolf Drechsler
Fr. 134.90
Design Automation Techniques for Approximation Circuits
Arun Chandrasekharan, Daniel Grosse, Rolf Drechsler
Fr. 59.00
Enhanced Virtual Prototyping
Vladimir Herdt, Daniel Grosse, Rolf Drechsler
Fr. 141.50
Automated Analysis of Virtual Prototypes at the Electronic System Level
Mehran Goli, Rolf Drechsler
Fr. 94.50
Enhanced Virtual Prototyping
Vladimir Herdt, Daniel Grosse, Rolf Drechsler
Fr. 100.50
In-Memory Computing
Saeideh Shirinzadeh, Rolf Drechsler
Fr. 118.00
In-Memory Computing
Saeideh Shirinzadeh, Rolf Drechsler
Fr. 118.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
Mehran Goli, Rolf Drechsler
Fr. 94.50
Design Automation Techniques for Approximation Circuits
Arun Chandrasekharan, Daniel Grosse, Rolf Drechsler
Fr. 59.00
Formal Specification Level
Mathias Soeken, Rolf Drechsler
Fr. 118.00
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
Fr. 118.00
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
Fr. 118.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Fr. 177.00
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
Fr. 118.00
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Fr. 118.00
Formal Verification of Circuits
Rolf Drechsler
Fr. 177.00
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
Fr. 177.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Fr. 177.00
Automatic Methods for the Refinement of System Models
Julia Seiter, Robert Wille, Rolf Drechsler
Fr. 59.00
Reversible and Quantum Circuits
Nabila Abdessaied, Rolf Drechsler
Fr. 59.00
Design Automation Techniques for Approximation Circuits
Arun Chandrasekharan, Daniel Grosse, Rolf Drechsler
Fr. 59.00
Formal Specification Level
Mathias Soeken, Rolf Drechsler
Fr. 118.00
Formal Specification Level
Mathias Soeken, Rolf Drechsler
Fr. 118.00
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Fr. 118.00
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
Fr. 118.00
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüss, Rolf Drechsler
Fr. 118.00