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