Electronic Books

Total Books: 2401 - 2420 /3019

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 Signal Processing for Wireless Communications

This book treats the robust design of signal processing algorithms for wireless communications which are based on an incomplete ...

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

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

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

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

Salyut - The First Space Station : Triumph and Tragedy

This remarkable book is a unique insight into the people involved in the development of the Salyut space station and the ...

Sampling Algorithms

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

Sampling for Natural Resource Monitoring

The book presents the statistical knowledge and methodology of sampling and data analysis useful for spatial inventory and ...

Satellite Communications Systems Engineering. Atmospheric Effects, Satellite Link Design and System / Louis J. Ippolito Jr.

Focuses on the important basic principles that are unique and timeless to satellite-based communications delivery systems. ...

Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

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

Total Books: 2401 - 2420 /3019