Electronic Books

Total Books: 1801 - 1820 /2348

Reviews of Environmental Contamination and Toxicology attempts to provide concise, critical reviews of timely advances, philosophy ...

Reviews of Environmental Contamination and Toxicology attempts to provide concise, critical reviews of timely advances, philosophy ...

Amyloids are filamentous protein deposits ranging in size from nanometres to microns and composed of aggregated peptide β-sheets ...

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...

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

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

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

The objective of this book is to present a little known or even new method based on the concept of relative rearrangement ...

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

Total Books: 1801 - 1820 /2348