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 masAcademic Integrity in Canada : An Enduring and Essential Challenge
Firmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents ...
Lee mas
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...
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
Analog Integrated Circuits for Communication : Principles, Simulation and Design
This book covers the analysis and design of nonlinear analog integrated circuits that form the basis of present-day communication ...
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
Bernoulli Potential in Superconductors
The motion of electrons in superconductors seems to defy our imagination based on daily experience with Newtonian mechanics. ...
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
CSR and Codes of Business Ethics in the USA, Austria (EU) and China and their Enforcement in International Supply Chain Arbitrations
Analyzes the implementation of CSR reporting and codes of business conduct and ethics in the legal systems of the USA, Austria ...
Lee mas
Challenges to The Second Law of Thermodynamics
The second law of thermodynamics is considered one of the central laws of science, engineering and technology. For over a ...
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
