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 ...
اقرأ المزيدAcademic 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Atoms, Molecules and Photons
This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed ...
اقرأ المزيد
Bernoulli Potential in Superconductors
The motion of electrons in superconductors seems to defy our imagination based on daily experience with Newtonian mechanics. ...
اقرأ المزيد
CCD Image Sensors in Deep-Ultraviolet
As the deep-ultraviolet (DUV) laser technology continues to mature, an increasing number of industrial and manufacturing ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Concentrator Photovoltaics
In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. ...
اقرأ المزيد
