Electronic Books

Total Books: 341 - 360 /619

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 ...

Total Books: 341 - 360 /619