Electronic Books

Total Books: 1441 - 1460 /1862

Robotics Research

This book presents the results of the eleventh edition of "Robotics Research" ISRR03, offering a collection of a broad ...

Robust Control Design with MATLAB®

Robust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical ...

Robust Control and Filtering of Singular Systems

This monograph aims to present up-to-date research developments and references on robust control and filtering of uncertain ...

Robust Control in Power Systems

Robust Control in Power Systems deals with the applications of new techniques in linear system theory to control low frequency ...

Robust Control of Time-delay Systems

This volume presents a systematic and comprehensive treatment for robust (H-infinity) control of such systems in the frequency ...

Robust Optimization-Directed Design

Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...

Robust architecture : low tech design / Edeltraud Haselsteiner

Robust architecture is designed to meet needs; its structures are sufficient, resilient and suited to the location. It embraces ...

Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

Routing Congestion in VLSI Circuits

Routing Congestion in VLSI Circuits: Estimation and Optimization provides the reader with a complete understanding of the ...

Routledge Handbook of Urban Landscape Research / Kate Bishop, Linda Corkery

Presents current writing about the pivotal roles that landscape architects play in addressing some of the most pressing problems ...

Rule Extraction from Support Vector Machines

This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

Safety for Particle Accelerators

The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe ...

Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines

In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...

Sampling Algorithms

Over the last few decades, important progresses in the methods of sampling have been achieved. This book draws up an inventory ...

Satisfying Safety Goals by Probabilistic Risk Assessment

Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Total Books: 1441 - 1460 /1862