Electronic Books

Total Books: 1821 - 1840 /2348

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 2007: Theory and Practice of Computer Science

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

SPDE in Hydrodynamic: Recent Progress and Prospects : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy August 29–September 3, 2005

Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, ...

Safety for Particle Accelerators

The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe ...

Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines

In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...

Sampling Algorithms

Over the last few decades, important progresses in the methods of sampling have been achieved. This book draws up an inventory ...

Satellites

This useful resource deals with satellite orbits, showing how the wide range of available orbits can be used in communications, ...

Satisfying Safety Goals by Probabilistic Risk Assessment

Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Scalable Optimization via Probabilistic Modeling

The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Scalar and Asymptotic Scalar Derivatives : Theory and Applications

This book is devoted to the study of scalar and asymptotic scalar derivatives and their applications to some problems in ...

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

Scenographic Design Drawing: Performative Drawing in an Expanded Field / Sue Field, Marsha Meskimmon, Phil Sawdon

Scenographic design drawings visualize the images in the designer’s ‘mind’s eye’ early in the design process. They ...

Science and Technologies for Smart Cities

This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...

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

Total Books: 1821 - 1840 /2348