As the number of thefts and identity fraud has become a serious issue and with the increase of accidents rate, and the need ...
Continue readingS.L. Sobolev (1908–1989) was a great mathematician of the twentieth century. His selected works included in this volume ...
Continue readingOne of the most remarkable and beautiful theorems in coding theory is Gleason's 1970 theorem about the weight enumerators ...
Continue readingThis self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Continue readingMain theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
Continue readingThis book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
Continue readingThe present monograph develops the fundamental ideas and results surrounding heat kernels, spectral theory, and regularized ...
Continue readingThese lecture notes contain a guided tour to the Novikov Conjecture and related conjectures due to Baum-Connes, Borel and ...
Continue readingTopological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Continue readingThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue readingThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Continue readingThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Continue reading