This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
Continue readingThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Continue readingConstitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
Continue readingThis book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...
Continue readingAfter a century of successes, physicists still feel the need to probe the limits of the validity of theories based on special ...
Continue readingThis book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Continue readingThis book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Continue readingThis book introduces geometric spectral theory in the context of infinite-area Riemann surfaces, providing a comprehensive ...
Continue readingThis book is dedicated to the spectral theory of linear operators on Banach spaces and of elements in Banach algebras. It ...
Continue readingOffers a unique and critical insight into the emergence of a liminal territory that exists between the real and the virtual ...
Continue readingThe author develops a deformation theory for degenerations of complex curves; specifically, he treats deformations which ...
Continue readingIn the context of sports leagues scheduling (SLS) several groups' interests must be taken into account. This book treats ...
Continue readingMain theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
Continue readingLa stabilità della funzione è stato il concetto di riferimento da C. Bernard ad oggi, sia per la biologia che per la medicina ...
Continue readingDr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...
Continue readingSystems governed by nonlinear partial differential equations (PDEs) arise in many spheres of study. The stabilization and ...
Continue readingThis book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
Continue readingProvides an annual astronomy review suitable for the popular science level reader to be published every September. The book ...
Continue readingIllustrates the modern methods of static and dynamic analysis of structures; Provides methods for solving boundary value ...
Continue reading