Metric Driven Design Verification
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...
اقرأ المزيد
Micro- and Opto-Electronic Materials and Structures: Physics, Mechanics, Design, Reliability, Packaging
Micro- and Opto-Electronic Materials and Structures: Physics, Mechanics, Design, Reliability, Packaging is the first comprehensive ...
اقرأ المزيد
Micro-Assembly Technologies and Applications : IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS’2008) Chamonix, France February 10–13, 2008
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Microfluidic Technologies for Miniaturized Analysis Systems
Microfluidic Technologies for Miniaturized Analysis Systems provides a comprehensive overview of the fluidic aspects of Lab-on-a-Chip ...
اقرأ المزيد
Micromanufacturing
We have come to know that our ability to survive and grow as a nation to a very large degree depends upon our sci- tific ...
اقرأ المزيد
Microscopy of Semiconducting Materials
This is a long-established international biennial conference series, organised in conjunction with the Royal Microscopical ...
اقرأ المزيد
Microscopy of Semiconducting Materials 2007
The conference focused upon the most recent advances in the study of the structural and electronic properties of semiconducting ...
اقرأ المزيد
Millimeter-Wave Integrated Circuits
Millimeter-Wave Integrated Circuits has a broad scope, and includes detailed discussions on high frequency materials and ...
اقرأ المزيد
Mixed-Signal Layout Generation Concepts
Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...
اقرأ المزيد
Mobile Ad Hoc Networks
This book presents the Time Reservation using Adaptive Control for Energy Efficiency (TRACE) family of protocol architectures ...
اقرأ المزيد
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
اقرأ المزيد
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
اقرأ المزيد
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
اقرأ المزيد
Model and Design of Bipolar and MOS Current-Mode Logic
many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...
اقرأ المزيد
Model-Driven Testing
Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...
اقرأ المزيد
Modeling Semantic Web Services : The Web Service Modeling Language
In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...
اقرأ المزيد
Modeling and Simulation for RF System Design
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
اقرأ المزيد
Models for Discrete Longitudinal Data
This book provides a comprehensive treatment on modeling approaches for non-Gaussian repeated measures, possibly subject ...
اقرأ المزيد
Modern Circuit Placement
This book has four unique characteristics. First, it focuses on the most recent highly scalable placement techniques used ...
اقرأ المزيد
Modern Ferrite Technology
odern Ferrite Technology, 2nd Ed. offers the readers an expert overview of the latest ferrite advances as well as their applications ...
اقرأ المزيد
