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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masAdvances 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. ...
Lee masAn Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with ...
Lee mas
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 ...
Lee mas
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great ...
Lee mas
Atoms, Molecules and Photons
This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed ...
Lee mas
CCD Image Sensors in Deep-Ultraviolet
As the deep-ultraviolet (DUV) laser technology continues to mature, an increasing number of industrial and manufacturing ...
Lee mas
Chemical Sensors
Research in the area of chemical and biochemical sensors and the development of respective applications is still growing ...
Lee mas
Coherent Semiconductor Optics
This book introduces the basic theoretical concepts required for the analysis of the optical response of semiconductor systems ...
Lee mas
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 ...
Lee mas
Concentrator Photovoltaics
In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. ...
Lee mas
Cryogenic Particle Detection
The development of cryogenic devices for particle detection has reached a stage at which many interesting applications are ...
Lee mas
Defects in High-k Gate Dielectric Stacks
One of the key obstacles to high-k integration into Si nano-technology are the electronic defects in high-k materials. It ...
Lee mas
Design Automation Methods and Tools for Microfluidics-Based Biochips
Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based ...
Lee masDesign of Systems on a Chip
Design of Systems on a Chip: Design&Test is the second of two volumes addressing the design challenges associated with new ...
Lee mas
Detection and Signal Processing
This comprehensive monograph deals with detectors, signal processors and related noise phenomena. Detailed quantitative analyses ...
Lee mas
Diffusion in Solids : Fundamentals, Methods, Materials, Diffusion-Controlled Processes
This book first gives an account of the central aspects of diffusion in solids, for which the necessary background is a course ...
Lee mas
