Showing 1 - 20 results of 91 for search '', query time: 0.04s Refine Results
  1. 1
    A Practical Introduction to Hardware/Software Codesign
    Get full text
    Electronic Kit Book
  2. 2
    A Roadmap for Formal Property Verification
    by DasGupta, Pallab
    Published 2006
    Get full text
    Electronic Kit Book
  3. 3
    Abstraction Refinement for Large Scale Model Checking
    by Wang, Chao
    Published 2006
    Get full text
    Electronic Kit Book
  4. 4
    Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings
    by Dangelmaier, Wilhelm
    Published 2010
    Get full text
    Electronic Kit Book
  5. 5
    Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
    by Bosio, Alberto
    Published 2010
    Get full text
    Electronic Kit Book
  6. 6
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
    by Boulet, Pierre
    Published 2005
    Get full text
    Electronic Kit Book
  7. 7
    Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
    by Garg, Rajesh
    Published 2010
    Get full text
    Electronic Kit Book
  8. 8
    Analysis and Design of Univariate Subdivision Schemes
    by Sabin, Malcolm
    Published 2010
    Get full text
    Electronic Kit Book
  9. 9
    Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
    by Rekiek, Brahim
    Published 2006
    Get full text
    Electronic Kit Book
  10. 10
    Assertion-Based Design
    by Foster, Harry
    Published 2005
    Get full text
    Electronic Kit Book
  11. 11
    Boundary Representation Modelling Techniques
    by Stroud, Ian
    Published 2006
    Get full text
    Electronic Kit Book
  12. 12
    C Compilers for ASIPs Automatic Compiler Generation with LISA
    by Hohenauer, Manuel
    Published 2010
    Get full text
    Electronic Kit Book
  13. 13
    CMOS Current-Mode Circuits for Data Communications
    by Yuan, Fei
    Published 2007
    Get full text
    Electronic Kit Book
  14. 14
    Composing Software Components A Software-testing Perspective
    by Hamlet, Dick
    Published 2010
    Get full text
    Electronic Kit Book
  15. 15
    Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005
    by Martens, Bob
    Published 2005
    Get full text
    Electronic Kit Book
  16. 16
    Condition Monitoring and Control for Intelligent Manufacturing
    by Wang, Lihui
    Published 2006
    Get full text
    Electronic Kit Book
  17. 17
    Constraint-Based Verification
    by Yuan, Jun
    Published 2006
    Get full text
    Electronic Kit Book
  18. 18
    Curves and Surfaces for Computer Graphics
    by Salomon, David
    Published 2006
    Get full text
    Electronic Kit Book
  19. 19
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    by Hardin, David S
    Published 2010
    Get full text
    Electronic Kit Book
  20. 20
    Design of Embedded Control Systems
    by Adamski, Marian Andrzej
    Published 2005
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search