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