Εμφανίζονται 1 - 20 Αποτελέσματα από 90 για την αναζήτηση '', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    A Practical Introduction to Hardware/Software Codesign
    ανά Schaumont, Patrick R. (Patrick Robert)
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    A Roadmap for Formal Property Verification
    ανά DasGupta, Pallab
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 3
    Abstraction Refinement for Large Scale Model Checking
    ανά Wang, Chao
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings
    ανά Dangelmaier, Wilhelm
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
    ανά Bosio, Alberto
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 6
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
    ανά Boulet, Pierre
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 7
    Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
    ανά Garg, Rajesh
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 8
    Analysis and Design of Univariate Subdivision Schemes
    ανά Sabin, Malcolm
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 9
    Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
    ανά Rekiek, Brahim
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 10
    Assertion-Based Design
    ανά Foster, Harry
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 11
    Boundary Representation Modelling Techniques
    ανά Stroud, Ian
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 12
    C Compilers for ASIPs Automatic Compiler Generation with LISA
    ανά Hohenauer, Manuel
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 13
    CMOS Current-Mode Circuits for Data Communications
    ανά Yuan, Fei
    Έκδοση 2007
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 14
    Composing Software Components A Software-testing Perspective
    ανά Hamlet, Dick
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  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
    ανά Martens, Bob
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 16
    Condition Monitoring and Control for Intelligent Manufacturing
    ανά Wang, Lihui
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 17
    Constraint-Based Verification
    ανά Yuan, Jun
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 18
    Curves and Surfaces for Computer Graphics
    ανά Salomon, David
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 19
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    ανά Hardin, David S
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 20
    Design of Embedded Control Systems
    ανά Adamski, Marian Andrzej
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email