81
Functional Verification of Programmable Embedded Architectures [E-Book] : A Top-Down Approach /
82
The Future of Design Methodology [E-Book] /
83
Global Design to Gain a Competitive Edge [E-Book] : An Holistic and Collaborative Design Approach based on Computational Tools /
84
Global Product Development [E-Book] : Proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010 /
85
Global Specification and Validation of Embedded Systems [E-Book] : Integrating Heterogeneous Components /
86
Hardware Acceleration of EDA Algorithms [E-Book] : Custom ICs, FPGAs and GPUs /
87
Hardware Software Co-Design of a Multimedia SOC Platform [E-Book] /
88
Hardware Verification with C++ [E-Book] : A Practitioner’s Handbook /
89
Hardware Verification with SystemVerilog [E-Book] : An Object-Oriented Framework /
90
High-Level Verification [E-Book] : Methods and Tools for Verification of System-Level Designs /
91
Information Modeling for Interoperable Dimensional Metrology [E-Book] /
92
Innovation in Life Cycle Engineering and Sustainable Development [E-Book] /
93
Innovation in Product Design [E-Book] : From CAD to Virtual Prototyping /
94
Innovations in Design & Decision Support Systems in Architecture and Urban Planning [E-Book] /
95
Instandhaltung technischer Systeme [E-Book] : Methoden und Werkzeuge zur Gewährleistung eines sicheren und wirtschaftlichen Anlagenbetriebs /
96
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms [E-Book] /
97
Intelligent Computing in Engineering and Architecture [E-Book] / 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
98
Interconnect Noise Optimization in Nanometer Technologies [E-Book] /
99
Introduction to Embedded System Design Using Field Programmable Gate Arrays [E-Book] /
100
An Introduction to Meshfree Methods and Their Programming [E-Book] /