Yazar Araması Sonucu

1

Formal verification of circuits /

Yazar: Drechsler, Rolf.
Baskı/Yayın Bilgisi 2000

Kitap

2

Robustness and Usability in Modern Design Flows

Yazar: Fey, Görschwin., Fey, Görschwin., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2008

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

3

Quality-Driven SystemC Design

Yazar: Große, Daniel., Große, Daniel., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2010

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

4

Towards a Design Flow for Reversible Logic

Yazar: Wille, Robert., Wille, Robert., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2010

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

5

Debugging at the Electronic System Level

Yazar: Rogin, Frank., Rogin, Frank., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2010

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

6

High Quality Test Pattern Generation and Boolean Satisfiability

Yazar: Eggersglüß, Stephan., Eggersglüß, Stephan., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2012

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

7

Formal Specification Level Concepts, Methods, and Algorithms /

Yazar: Soeken, Mathias., Soeken, Mathias., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2015

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

8

Advanced BDD Optimization

Yazar: Ebendt, Rudiger., Ebendt, Rudiger., Fey, Görschwin., Drechsler, Rolf.
Baskı/Yayın Bilgisi 2005

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2015

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2005

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2006

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2007

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2008

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2012

Diğer Yazarlar: “...Drechsler, Rolf....”
Tam Metin Erişim

Elektronik Ekitap

İlgili Konular