Home | Amazing | Today | Tags | Publishers | Years | Search 
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this...

Scientific Data Mining: A Practical Perspective
Scientific Data Mining: A Practical Perspective

Technological advances are enabling scientists to collect vast amounts of data in fields such as medicine, remote sensing, astronomy, and high-energy physics. These data arise not only from experiments and observations, but also from computer simulations of complex phenomena. They are often complex, with both spatial and temporal components. As...

Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the...

Semiconductor Modeling:: For Simulating Signal, Power, and Electromagnetic Integrity
Semiconductor Modeling:: For Simulating Signal, Power, and Electromagnetic Integrity

Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity assists engineers – both recent graduates and working product designers – in designing high-speed circuits. The authors apply circuit theory, circuit simulation tools, and practical experience to help the engineer...

Introduction to Modern Liquid Chromatography
Introduction to Modern Liquid Chromatography

The latest edition of the authoritative reference to HPLC

High-performance liquid chromatography (HPLC) is today the leading technique for chemical analysis and related applications, with an ability to separate, analyze, and/or purify virtually any sample. Snyder and Kirkland's Introduction to Modern Liquid...

Computational Statistics Handbook with MATLAB
Computational Statistics Handbook with MATLAB

Approaching computational statistics through its theoretical aspects can be daunting. Often intimidated or distracted by the theory, researchers and students can lose sight of the actual goals and applications of the subject. What they need are its key concepts, an understanding of its methods, experience with its implementation, and practice...

Wireless Sensor Networks for Healthcare Applications
Wireless Sensor Networks for Healthcare Applications

Unlike other books on wireless sensors networks, this unique reference focuses on methods of application, validation and testing based on real deployments of sensor networks in the clinical and home environments. Key topics include healthcare and wireless sensors, sensor network applications, designs of experiments using sensors, data...

Modeling and Characterization of RF and Microwave Power FETs
Modeling and Characterization of RF and Microwave Power FETs

This is a book about the compact modeling of RF power FETs. In it, you will find descriptions of characterization and measurement techniques, analysis methods, and the simulator implementation, model verification and validation procedures that are needed to produce a transistor model that can be used with confidence by the circuit designer....

Flex 4 Cookbook: Real-world recipes for developing Rich Internet Applications
Flex 4 Cookbook: Real-world recipes for developing Rich Internet Applications

With this collection of proven recipes, you have the ideal problem-solving guide for developing interactive Rich Internet Applications on the Adobe Flash Platform. You'll find answers to hundreds of common problems you may encounter when using Adobe Flex, Flex 4 Framework, or Flash Builder, Adobe's GUI-based development...

Computational Fluid Dynamics in Practice
Computational Fluid Dynamics in Practice

Computational Fluid Dynamics in Practice explores the current and future developments in CFD, with the authors detailing advanced applications and case studies to demonstrate successes, illustrate the limitations, and identify methods for good practice. Designers, engineers, and researchers working in this field of fluid mechanics will...

Oracle Application Express 3.2: The Essentials and More
Oracle Application Express 3.2: The Essentials and More

Developing data-centric web applications can be a real challenge as it is a multi-disciplinary process. There are many technologies involved in the client side (HTML, CSS, JavaScript, and so on); the interaction with the database, on the server side; the typeless nature of the web environment; and above all, the need to put it all together....

Oscillation-Based Test in Mixed-Signal Circuits
Oscillation-Based Test in Mixed-Signal Circuits

Oscillation-Based Test in Mixed-Signal Circuits presents the development and experimental validation of the structural test strategy called Oscillation-Based Test – OBT in short. The results here presented allow to assert, not only from a theoretical point of view, but also based on a wide experimental support, that OBT is an efficient...

Result Page: 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy