Robust Optimization-Directed Design
Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...
Lee mas
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 ...
Lee mas
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 ...
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
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
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lee mas
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Scalable Optimization via Probabilistic Modeling
The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...
Lee mas
Scale Space and Variational Methods in Computer Vision
Constitutes the refereed proceedings of the First International Conference on Scale Space Methods and Variational Methods ...
Lee mas
Scaling Topic Maps : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
Lee masScaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...
Lee mas
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. ...
Lee mas
Scenarios: Models, Transformations and Tools
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
Lee mas
Scientific Applications of Grid Computing
This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...
Lee mas
Scientific Computing in Electrical Engineering
This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
Lee mas
Scientific Computing in Electrical Engineering
This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...
Lee mas
Scientific Computing with MATLAB and Octave
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...
Lee mas
