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 ...
Continue reading
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Continue reading
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 ...
Continue reading
Risk Assessment, Modeling and Decision Support
The papers in this volume integrate results from current research efforts in earthquake engineering with research from the ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Robust Optimization-Directed Design
Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
S+Functional Data Analysis
S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional ...
Continue readingS-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). ...
Continue reading
SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
Continue reading
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 ...
Continue reading
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Continue reading
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
