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
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 Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Continue reading
Scalable Optimization via Probabilistic Modeling
The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...
Continue reading
Scale Space and Variational Methods in Computer Vision
Constitutes the refereed proceedings of the First International Conference on Scale Space Methods and Variational Methods ...
Continue reading
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 ...
Continue readingScaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Scientific Computing in Electrical Engineering
This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
Continue reading
Scientific Computing in Electrical Engineering
This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...
Continue reading
Scientific Computing with MATLAB and Octave
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...
Continue reading
Scientific Engineering of Distributed Java Applications
The scope of the workshop included the following topics: – design of distributed applications – development methodologies ...
Continue reading
