Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

of: Ruijing Shen, Sheldon X.-D. Tan, Hao Yu, 2014

Springer-Verlag, 2014

Ontologies in Urban Development Projects

of: Gilles Falquet, Claudine Métral, Jacques Teller, Christopher Tweed, 2011

Springer-Verlag, 2011

Principles of VLSI RTL Design - A Practical Guide

of: Sanjay Churiwala, Sapan Garg, 2011

Springer-Verlag, 2011

Dependability in Electronic Systems - Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances

of: Nobuyasu Kanekawa, Eishi H. Ibe, Takashi Suga, Yutaka Uematsu, 2010

Springer-Verlag, 2010

Integrated Optical Interconnect Architectures for Embedded Systems

of: Ian O'Connor, Gabriela Nicolescu, 2012

Springer-Verlag, 2012

Computer- Aided Design in Power Engineering - Application of Software Tools

of: Zlatan Stojkovic, 2012

Springer-Verlag, 2012

Abstraction Refinement for Large Scale Model Checking

of: Chao Wang, Gary D. Hachtel, Fabio Somenzi, 2006

Springer-Verlag, 2006

Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming - Analysis, Simulation and Engineering Applications

of: Ping Hu, Ning Ma, Li-zhong Liu, Yi-guo Zhu, 2012

Springer-Verlag, 2012

The MPEG Representation of Digital Media

of: Leonardo Chiariglione, 2011

Springer-Verlag, 2011

Fine- and Coarse-Grain Reconfigurable Computing

of: Stamatis Vassiliadis, Dimitrios Soudris, 2007

Springer-Verlag, 2007