Skip recommendations
Mostrando 1 - 16 Resultados de 16 Para Buscar 'Drechsler, Rolf', tiempo de consulta: 0.05s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
    Publicado 2016
    Otros Autores: “…Drechsler, Rolf…”
    Texto Completo
    Electrónico eBook
  2. 2
    Reversible and Quantum Circuits Optimization and Complexity Analysis /
    Texto Completo
    Electrónico eBook
  3. 3
    Formal Specification Level Concepts, Methods, and Algorithms /
    por Soeken, Mathias , Drechsler, Rolf
    Publicado 2015
    Texto Completo
    Electrónico eBook
  4. 4
    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 /
    Publicado 2015
    Otros Autores: “…Drechsler, Rolf…”
    Texto Completo
    Electrónico eBook
  5. 5
    High Quality Test Pattern Generation and Boolean Satisfiability
    Texto Completo
    Electrónico eBook
  6. 6
    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 /
    Publicado 2012
    Otros Autores:
    Texto Completo
    Electrónico eBook
  7. 7
    Quality-Driven SystemC Design
    por Große, Daniel , Drechsler, Rolf
    Publicado 2010
    Texto Completo
    Electrónico eBook
  8. 8
    Debugging at the Electronic System Level
    por Rogin, Frank , Drechsler, Rolf
    Publicado 2010
    Texto Completo
    Electrónico eBook
  9. 9
    Towards a Design Flow for Reversible Logic
    por Wille, Robert , Drechsler, Rolf
    Publicado 2010
    Texto Completo
    Electrónico eBook
  10. 10
    Test Pattern Generation using Boolean Proof Engines
    Texto Completo
    Electrónico eBook
  11. 11
    Robustness and Usability in Modern Design Flows
    por Fey, Görschwin , Drechsler, Rolf
    Publicado 2008
    Texto Completo
    Electrónico eBook
  12. 12
    Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /
    Publicado 2008
    Otros Autores:
    Texto Completo
    Electrónico eBook
  13. 13
    Applications of Evolutionary Computing EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings /
    Publicado 2007
    Otros Autores:
    Texto Completo
    Electrónico eBook
  14. 14
    Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings /
    Publicado 2006
    Otros Autores:
    Texto Completo
    Electrónico eBook
  15. 15
    Advanced BDD Optimization
    Texto Completo
    Electrónico eBook
  16. 16
    Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
    Publicado 2005
    Otros Autores:
    Texto Completo
    Electrónico eBook