Recent Advances in Operator Theory and Its Applications
Thisvolumecontainsaselectionofpapersinmodernoperatortheoryanditsapp- cations. Most of them are directly related to lectures ...
Continue reading
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 ...
Continue reading
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 ...
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
Second Generation Wavelets and Applications
This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform ...
Continue reading
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Continue reading
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 ...
Continue readingSimulation 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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue readingSolving 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 ...
Continue reading
Spectral Methods
Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, ...
Continue reading
Spectral Methods
Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific ...
Continue reading
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 ...
Continue reading
Structural Sensitivity Analysis and Optimization 1
Book I Linear Systems introduces structural design concepts that include the CAD-based design model, design parameterization, ...
Continue reading
Structural Sensitivity Analysis and Optimization 2
Structural design sensitivity analysis concerns the relationship between design variables available to the design engineer ...
Continue reading
Structures Under Crash and Impact : Continuum Mechanics, Discretization and Experimental Characterization
Structures Under Crash and Impact: Continuum Mechanics, Discretization and Experimental Characterization examines the testing ...
Continue reading
Super-Recursive Algorithms
New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
Continue reading
