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