VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...

Ultrasonic's has been an important tool in determining the nature of molecular interactions in th...

This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

Coating uniform thin films on inner surfaces of tubular objects for strategic and commercial appl...

HIS book presents a generalized state-space theory for the analysis T and synthesis of finite hor...

Organizational climate is comprised of mixture of norms, values, expectations, policies and proce...

Financial Risk and Derivatives provides an excellentillustration of the links that have develop...

This book demonstrates the utility of process based practices to enrich the language skills, name...

Youth around the world are fittingly described as digital natives because of their comfort and sk...

Necessary conditions for optimality in problems with nonstandard cost functionals.- Linear contro...

Metal Matrix composites are the promised materials for various engineering applications because o...

The term composite can be defined as a combination of two or more dissimilar materials having a d...