Εμφανίζονται 141 - 160 Αποτελέσματα από 757 για την αναζήτηση '"computation in engineering"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 141
    SAT-Based Scalable Formal Verification Solutions
    ανά Ganai, Malay K., Gupta, Aarti
    Έκδοση 2007
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 142
    Separated Representations and PGD-Based Model Reduction Fundamentals and Applications /
    Έκδοση 2014
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 143
    Design Computing and Cognition '12
    Έκδοση 2014
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 144
    The Proper Generalized Decomposition for Advanced Numerical Simulations A Primer /
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 145
    Multiphysics Simulation Electromechanical System Applications and Optimization /
    ανά Dede, Ercan M., Lee, Jaewook, Nomura, Tsuyoshi
    Έκδοση 2014
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 146
    Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
    ανά Bening, Lionel, Foster, Harry
    Έκδοση 2000
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 147
    Verilog® Quickstart A Practical Guide to Simulation and Synthesis in Verilog /
    ανά Lee, James M.
    Έκδοση 1999
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 148
    Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
    ανά Bening, Lionel, Foster, Harry
    Έκδοση 2001
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 149
    Reuse Methodology Manual for System-on-a-Chip Designs
    ανά Keating, Michael, Bricaud, Pierre
    Έκδοση 2002
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 150
    System Design with SystemC
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 151
    The Complete Verilog Book
    ανά Sagdeo, Vivek
    Έκδοση 1998
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 152
    Verilog® Quicstart A Practical Guide to Simulation and Synthesis in Verilog /
    ανά Lee, James M.
    Έκδοση 2002
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 153
    The Designer’s Guide to Verilog-AMS, June 2004
    ανά Kundert, Kenneth S., Zinke, Olaf
    Έκδοση 2004
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 154
    VHDL Coding Styles and Methodologies
    ανά Cohen, Ben
    Έκδοση 1999
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 155
    Writing Testbenches Functional Verification of HDL Models /
    ανά Bergeron, Janick
    Έκδοση 2000
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 156
    The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface /
    ανά Sutherland, Stuart
    Έκδοση 2002
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 157
    Spectral Interpretation of Decision Diagrams
    ανά Stanković, Radomir S., Astola, Jaakko T.
    Έκδοση 2003
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 158
    SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
    ανά Patel, Hiren D., Shukla, Sandeep K.
    Έκδοση 2005
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 159
    Structural Analysis with the Finite Element Method Linear Statics Volume 2. Beams, Plates and Shells /
    ανά Oñate, Eugenio
    Έκδοση 2013
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 160
    CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
    ανά Yuan, Fei
    Έκδοση 2008
    Θέματα: “…Computer-aided engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email