کتاب های Rolf Drechsler
کتاب های نویسنده
صفحه ۱ از ۲ در بین ۴۸ کتاب.
PDF
Advanced BDD Optimization
Rudiger Ebendt, Görschwin Fey, Rolf Drechsler, 2005PDF
Advanced BDD Optimization
Rudiger Ebendt, Gorschwin Fey, Rolf Drechsler,, 2005PDF
Debugging at the Electronic System Level
Frank Rogin, Rolf Drechsler (auth.), 2010PDF
Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings
Andrea Bazzoli, Andrea G. B. Tettamanzi (auth.), Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero (eds.), 2004PDF
Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings
Andrea Bazzoli, Andrea G. B. Tettamanzi (auth.), Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero (eds.), 2004PDF
Applications of Evolutionary Computing: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings
Jesus S. Aguilar–Ruiz, Federico Divina (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero (eds.), 2005PDF
Applications of Evolutionary Computing: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings
Jesus S. Aguilar–Ruiz, Federico Divina (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero (eds.), 2005PDF
Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Burcu Bakir, Osman Ugur Sezerman (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi (eds.), 2006PDF
Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
José Manuel Lanza-Gutiérrez, Juan Antonio Gómez-Pulido, Miguel A. Vega-Rodríguez (auth.), Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. Şima Uyar, Georgios, 2012PDF
Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
José Manuel Lanza-Gutiérrez, Juan Antonio Gómez-Pulido, Miguel A. Vega-Rodríguez (auth.), Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. Şima Uyar, Georgios, 2012PDF
Advanced Formal Verification
Rolf Drechsler, 2004PDF
Advanced Formal Verification
Rolf Drechsler, 2004PDF
Advanced formal verification
Rolf Drechsler, 2004PDF
Towards One-Pass Synthesis
Rolf Drechsler, 2002PDF
Test pattern generation using Boolean proof engines
Rolf Drechsler, 2009PDF
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler, 2009
PDF
Advanced formal verification
Rolf Drechsler, 2004PDF
Advanced Formal Verification
Rolf Drechsler, 2004PDF
Binary Decision Diagrams: Theory and Implementation
Rolf Drechsler, 1998PDF
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler (auth.), 1998PDF
Formal Verification of Circuits
Rolf Drechsler (auth.), 2000PDF
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen
Dr. phil. nat. Rolf Drechsler, 1998
PDF
