A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
Advanced Experimental Methods For Noise Research in Nanoscale Electronic Devices
A discussion of recently developed experimental methods for noise research in nanoscale electronic devices, conducted by ...
اقرأ المزيد
Advanced Gate Stacks for High-Mobility Semiconductors
This book provides a comprehensive monograph on gate stacks in semiconductor technology. The reader will get a clear view ...
اقرأ المزيد
Advances in Design and Specification Languages for Embedded Systems
Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages ...
اقرأ المزيدAdvances in Solid State Physics
The book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. ...
اقرأ المزيدAn Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with ...
اقرأ المزيد
Analog Circuit Design : Sensors, Actuators and Power Drivers; Integrated Power Amplifiers from Wireline to RF; Very High Frequency Front Ends
This book is part of the Analog Circuit Design series and contains the revised contributions of all speakers of the 16th ...
اقرأ المزيد
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great ...
اقرأ المزيد
Applied Parallel Computing
These proceedings contain the papers presented at PARA 2002, the Sixth In-ternational Conference on Applied Parallel Computing. ...
اقرأ المزيد
Atoms, Molecules and Photons
This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed ...
اقرأ المزيد
BioMEMS and Biomedical Nanotechnology
Numerous miniaturized DNA microarray, DNA chip, Lab on a Chip and biosensor devices have been developed and commercialized. ...
اقرأ المزيد
CCD Image Sensors in Deep-Ultraviolet
As the deep-ultraviolet (DUV) laser technology continues to mature, an increasing number of industrial and manufacturing ...
اقرأ المزيد
CMOS Current-Mode Circuits for Data Communications
This book addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. ...
اقرأ المزيد
Carbon Nanotubes: From Basic Research to Nanotechnology
A nanotube can bend easily but still is very robust. The nanotubes can be manipulated and contacted to external electrodes. ...
اقرأ المزيد
Chemical Sensors
Research in the area of chemical and biochemical sensors and the development of respective applications is still growing ...
اقرأ المزيد
Coherent Semiconductor Optics
This book introduces the basic theoretical concepts required for the analysis of the optical response of semiconductor systems ...
اقرأ المزيد
Complex Inorganic Solids
One the key aspects of this volume is to cut across the traditional taxonomy of disciplines in the study of alloys. Hence ...
اقرأ المزيد
Computational Materials Chemistry
As a result of the advancements in algorithms and the huge increase in speed of computers over the past decade, electronic ...
اقرأ المزيد
Computational Mechanics of Composite Materials
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
اقرأ المزيد
Concentrator Photovoltaics
In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. ...
اقرأ المزيد
