Rolf Drechsler
partilhar
bibliografia
formato
Livro
EBook
ordenação
Data Edição
Ranking
-
Formal And Practical Techniques For The Complex System Design Process Using Virtual PrototypeseBookSpringer Nature Switzerland03-20240,00€
-
Formal Verification Of Structurally Complex MultiplierseBookSpringer International Publishing02-20230,00€
-
Enhanced Virtual Prototyping For Heterogeneous SystemseBookSpringer International Publishing09-20220,00€
-
Design Automation For Field-Coupled NanotechnologieseBookSpringer International Publishing01-20220,00€
-
Design For Testability, Debug And ReliabilityeBookSpringer International Publishing04-20210,00€
-
Enhanced Virtual PrototypingeBookSpringer International Publishing10-20200,00€
-
Automated Analysis Of Virtual Prototypes At The Electronic System LeveleBookSpringer International Publishing05-20200,00€
-
In-Memory ComputingeBookSpringer International Publishing05-20190,00€
-
Design Automation Techniques For Approximation CircuitseBookSpringer International Publishing10-20180,00€
-
Exact Design Of Digital Microfluidic BiochipseBookSpringer International Publishing06-20180,00€
-
Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability SolverseBookSpringer International Publishing01-20180,00€
-
Automatic Methods For The Refinement Of System ModelseBookSpringer International Publishing07-20160,00€
-
Reversible And Quantum CircuitseBookSpringer International Publishing06-20160,00€
-
Formal Specification LeveleBookSpringer International Publishing11-20140,00€
-
Binary Decision DiagramseBookSPRINGER US04-20130,00€
-
Towards One-Pass SynthesiseBookSPRINGER US03-20130,00€
-
Evolutionary Algorithms For Vlsi CadeBookSPRINGER US03-20130,00€
-
Formal Verification Of CircuitseBookSPRINGER US03-20130,00€
-
Spectral Techniques In Vlsi CadeBookSPRINGER US12-20120,00€
-
High Quality Test Pattern Generation And Boolean SatisfiabilityeBookSPRINGER NEW YORK02-20120,00€
-
Towards A Design Flow For Reversible LogiceBookSPRINGER NETHERLANDS07-20100,00€
-
Debugging At The Electronic System LeveleBookSPRINGER NETHERLANDS06-20100,00€
-
Quality-Driven Systemc DesigneBookSPRINGER NETHERLANDS12-20090,00€
-
Test Pattern Generation Using Boolean Proof EngineseBookSPRINGER NETHERLANDS04-20090,00€
-
Robustness And Usability In Modern Design FlowseBookSPRINGER NETHERLANDS01-20080,00€
-
Advanced Bdd OptimizationeBookSPRINGER US12-20050,00€