Electronic Books

Total Books: 261 - 280 /307

RESPACE ¿ Key Technologies for Reusable Space Systems : Results of a Virtual Institute Programme of the German Helmholtz-Association, 2003 – 2007

This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...

Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...

Recent Advances in Operator Theory and Its Applications

Thisvolumecontainsaselectionofpapersinmodernoperatortheoryanditsapp- cations. Most of them are directly related to lectures ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Robust Numerical Methods for Singularly Perturbed Differential Equations : Convection-Diffusion-Reaction and Flow Problems

This considerably extended and completely revised second edition incorporates many new developments in the thriving field ...

Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules

This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...

Scientific Computing with MATLAB and Octave

This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...

Second Generation Wavelets and Applications

This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform ...

Sets, Logic and Maths for Computing

The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...

Simulation and Inference for Stochastic Differential Equations : With R Examples

The book is organized into four chapters. The first one introduces the subject and presents several classes of processes ...

Simulation of Semiconductor Processes and Devices 2007

The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and ...

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Software for Data Analysis : Programming with R

This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...

Software for Exascale Computing - SPPEXA 2016-2019

This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...

Soil Stress-Strain Behavior: Measurement, Modeling and Analysis : A Collection of Papers of the Geotechnical Symposium in Rome, March 16–17, 2006

The material in this work is focused on recent developments in research into the stress-strain behavior of geomaterials, ...

Solving PDEs in Python : The FEniCS Tutorial I

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...

Spectral Methods

Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, ...

Spectral Methods

Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific ...

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018

This book features a selection of high-quality papers from the presentations at the International Conference on Spectral ...

Stochastic Numerics for the Boltzmann Equation

Stochastic numerical methods play an important role in large scale computations in the applied sciences. The first goal of ...

Total Books: 261 - 280 /307