161
Rigid Body Dynamics Algorithms [E-Book] /
162
A Roadmap for Formal Property Verification [E-Book] /
163
Robust Control Design with MATLAB® [E-Book] /
164
Routing Congestion in VLSI Circuits: Estimation and Optimization [E-Book] /
165
Run-time Adaptation for Reconfigurable Embedded Processors [E-Book] /
166
Scalable Hardware Verification with Symbolic Simulation [E-Book] /
167
Scalable Techniques for Formal Verification [E-Book] /
168
Security in Embedded Devices [E-Book] /
169
Semiconductor Modeling [E-Book] : For Simulating Signal, Power, and Electromagnetic Integrity /
170
The Simple Art of SoC Design [E-Book] : Closing the Gap between RTL and ESL /
171
Simulation Methods for Reliability and Availability of Complex Systems [E-Book] /
172
Software Automatic Tuning [E-Book] : From Concepts to State-of-the-Art Results /
173
Solid Modelling and CAD Systems [E-Book] : How to Survive a CAD System /
174
Spotlight on Modern Transformer Design [E-Book] /
175
Standardized Functional Verification [E-Book] /
176
Static Timing Analysis for Nanometer Designs [E-Book] : A Practical Approach /
177
Structural Analysis with the Finite Element Method [E-Book] : Linear Statics /
178
Structural Optimization with Uncertainties [E-Book] /
179
Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction /
180
SYROM 2009 [E-Book] : Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009 /