Electronic Books

Total Books: 1441 - 1460 /1862

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 presents recent advancements in symbolic simulation-based solutions ...

Total Books: 1441 - 1460 /1862