Electronic Books

Total Books: 1901 - 1920 /2323

Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

Rewriting, Computation and Proof

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

Risk Assessment : Decisions in Banking and Finance

New developments in assessing and managing risk are discussed in this volume. Addressing both practitioners in the banking ...

Risk Assessment, Modeling and Decision Support

The papers in this volume integrate results from current research efforts in earthquake engineering with research from the ...

Risk Management in Stochastic Integer Programming : With Application to Dispersed Power Generation

Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...

Risk-Averse Capacity Control in Revenue Management

“If necessity is the mother of invention, then deregulation is the father, and r- enue management (also known as yield ...

Robotics and Cognitive Approaches to Spatial Mapping

This book brings together the fields of robot spatial mapping and cognitive spatial mapping, Robot spatial mapping, in this ...

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 Optimization-Directed Design

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

Rock Damage and Fluid Transport, Part I

Mechanical properties and fluid transport in rocks are intimately linked as deformation of a solid rock matrix immediately ...

Rough - Granular Computing in Knowledge Discovery and Data Mining

This book covers methods based on a combination of granular computing, rough sets, and knowledge discovery in data mining ...

S+Functional Data Analysis

S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional ...

S-BPM in the Wild : Practical Value Creation

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...

SAT-Based Scalable Formal Verification Solutions

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

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

SOFSEM 2005: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...

Sandwich Structures 7: Advancing with Sandwich Structures and Materials

The overall objective of the 7th International Conference on Sandwich Structures (ICSS-7) is to provide a forum for the presentation ...

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

Total Books: 1901 - 1920 /2323