The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
Lire la suiteThe book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suiteThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
Lire la suiteConstitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, ...
Lire la suiteStochastic ordering is a fundamental guide for decision making under uncertainty. It is also an essential tool in the study ...
Lire la suiteConstitutes the refereed proceedings of the 14th International Colloquium on Structural Information and Communication Complexity, ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Colloquium on Structural Information and Communication ...
Lire la suiteThis book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...
Lire la suiteThis book gives an overview of cutting-edge work on a new paradigm called the "sublinear computation paradigm," which was ...
Lire la suiteDoes the implementation of Microsoft Dynamics™ contribute to the goals of your company? Does your company itself have the ...
Lire la suiteNew discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
Lire la suiteA central theme in the study of dynamic systems is the modelling and control of uncertain systems. While ‘uncertainty’ ...
Lire la suiteComputer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Lire la suiteIn our profoundly complex and interconnected world, there is a pressing need for systems thinking, to consider environmental, ...
Lire la suiteThis text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical ...
Lire la suiteThis book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Lire la suiteTechnologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
Lire la suite