The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Lire la suite
This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science ...
Lire la suite
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...
Lire la suite
This volume contains papers presented at the International Conference on Software Process (ICSP 2007) held in Minneapolis, ...
Lire la suite
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
Lire la suite
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
Lire la suite
Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...
Lire la suite
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
Lire la suite
Algebraic c- putational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations ...
Lire la suiteThis book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
Lire la suite
The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. ...
Lire la suite
This volume is divided in three sections on random sets, geostatistics and mathematical morphology. They reflect his professional ...
Lire la suite
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field ...
Lire la suite
This is the fifth volume in a series of book publications featuring basic interdisciplinary research in spatial cognition. ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Spatial Coherence for ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...
Lire la suite
Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way into many important ...
Lire la suiteThe formula proposed in this book enables to determine power spectral density of the equivalent history directly from the ...
Lire la suite
Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, ...
Lire la suite
Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific ...
Lire la suite