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

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

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

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

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

Lee mas
Robust Optimization-Directed Design

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

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

Lee mas
Robustness and Usability in Modern Design Flows

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

Lee mas
Routing Congestion in VLSI Circuits

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

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

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

Lee mas
Runtime Verification

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

Lee mas
SAT-Based Scalable Formal Verification Solutions

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

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

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

Lee mas
Safety for Particle Accelerators

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

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

Lee mas
Sampling Algorithms

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

Lee mas
NoIMG
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 ...

Lee mas
Scalable Hardware Verification with Symbolic Simulation

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

Lee mas
Total Books: 1441 - 1460 /1862