Iskani rezultati za avtorja

1

Formal verification of circuits /

od Drechsler, Rolf.
Izdano 2000

Knjiga

2

Robustness and Usability in Modern Design Flows

od Fey, Görschwin., Fey, Görschwin., Drechsler, Rolf.
Izdano 2008

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

3

Quality-Driven SystemC Design

od Große, Daniel., Große, Daniel., Drechsler, Rolf.
Izdano 2010

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

4

Towards a Design Flow for Reversible Logic

od Wille, Robert., Wille, Robert., Drechsler, Rolf.
Izdano 2010

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

5

Debugging at the Electronic System Level

od Rogin, Frank., Rogin, Frank., Drechsler, Rolf.
Izdano 2010

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

6

High Quality Test Pattern Generation and Boolean Satisfiability

od Eggersglüß, Stephan., Eggersglüß, Stephan., Drechsler, Rolf.
Izdano 2012

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

7

Formal Specification Level Concepts, Methods, and Algorithms /

od Soeken, Mathias., Soeken, Mathias., Drechsler, Rolf.
Izdano 2015

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

8

Advanced BDD Optimization

od Ebendt, Rudiger., Ebendt, Rudiger., Fey, Görschwin., Drechsler, Rolf.
Izdano 2005

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

9

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /

Izdano 2015

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

10

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Izdano 2005

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

11

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedi...

Izdano 2006

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

12

Applications of Evolutionary Computing EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Procee...

Izdano 2007

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

13

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Izdano 2008

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

14

Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spai...

Izdano 2012

Drugi avtorji: “...Drechsler, Rolf....”
Polni tekst

Elektronski eKnjiga

Sorodne teme