Formal Methods: Applications and Technology: 11th Inteational Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th .. / Programming and Software Engineering)
Hardcover: 363 pages
Publisher: Springer (February 20, 2007)
Language: English
ISBN-10: 3540709517
Carbon Nanotube Electronics (Integrated Circuits and SystemsDesign of Analog Integrated Circuits and Systems
Global Electrification: Multinational Enterprise and International Finance in the History of Light and Power, 1878–2007
The Role of Coal in a Sustainable Energy Mix for India: A Wide-Angle View
Wow! eBook