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 ...
اقرأ المزيد
