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 ...
اقرأ المزيد
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 Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
اقرأ المزيد
Scalable Optimization via Probabilistic Modeling
The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...
اقرأ المزيد
Scale Space and Variational Methods in Computer Vision
Constitutes the refereed proceedings of the First International Conference on Scale Space Methods and Variational Methods ...
اقرأ المزيد
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 ...
اقرأ المزيدScaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Scientific Computing in Electrical Engineering
This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
اقرأ المزيد
Scientific Computing in Electrical Engineering
This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...
اقرأ المزيد
Scientific Computing with MATLAB and Octave
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...
اقرأ المزيد
