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 ...
اقرأ المزيد
