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

von: Zlatan Stojkovic, 2012

Springer-Verlag, 2012

Abstraction Refinement for Large Scale Model Checking

von: 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

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

Springer-Verlag, 2012

The MPEG Representation of Digital Media

von: Leonardo Chiariglione, 2011

Springer-Verlag, 2011

Fine- and Coarse-Grain Reconfigurable Computing

von: Stamatis Vassiliadis, Dimitrios Soudris, 2007

Springer-Verlag, 2007

Advances in Manufacturing II - Volume 1 - Solutions for Industry 4.0

von: Justyna Trojanowska, Olaf Ciszak, José Mendes Machado, Ivan Pavlenko, 2019

Springer-Verlag, 2019

Complexity Metrics in Engineering Design - Managing the Structure of Design Processes

von: Matthias Kreimeyer, Udo Lindemann, 2011

Springer-Verlag, 2011

ESL Models and their Application - Electronic System Level Design and Verification in Practice

von: Brian Bailey, Grant Martin, 2009

Springer-Verlag, 2009

Hardware Software Co-Design of a Multimedia SOC Platform

von: Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu, 2009

Springer-Verlag, 2009

The Language of Design - Theory and Computation

von: Andy An-Si Dong, 2008

Springer-Verlag, 2008