More by Rolf Drechsler
Formal System Verification: State-of the-Art and Future Trends
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015
Book 385
Natural Language Processing for Electronic Design Automation
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Logic Synthesis
Information Storage: A Multidisciplinary Perspective
Evolutionary Algorithms for Embedded System Design
Book 10
5.0
Advanced BDD Optimization
Applications of Evolutionary Computing: Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings
Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog
1.0
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
5.0
Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings