Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
اقرأ المزيد
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
اقرأ المزيد
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
اقرأ المزيد
Spatial Information Theory
Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
اقرأ المزيد
Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach
This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...
اقرأ المزيد
Special Relativity
After a century of successes, physicists still feel the need to probe the limits of the validity of theories based on special ...
اقرأ المزيد
Special Topics in Information Technology Editors (view affiliations)
This book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
اقرأ المزيد
Special Topics in Information Technology
This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
اقرأ المزيد
Spectral Theory of Infinite-Area Hyperbolic Surfaces
This book introduces geometric spectral theory in the context of infinite-area Riemann surfaces, providing a comprehensive ...
اقرأ المزيد
Spectral Theory of Linear Operators
This book is dedicated to the spectral theory of linear operators on Banach spaces and of elements in Banach algebras. It ...
اقرأ المزيد
Speculative Coolness : Architecture, Media, the Real, and the Virtual / Bryan Cantley
Offers a unique and critical insight into the emergence of a liminal territory that exists between the real and the virtual ...
اقرأ المزيد
Splitting Deformations of Degenerations of Complex Curves
The author develops a deformation theory for degenerations of complex curves; specifically, he treats deformations which ...
اقرأ المزيد
Sports Leagues Scheduling : Models, Combinatorial Properties, and Optimization Algorithms
In the context of sports leagues scheduling (SLS) several groups' interests must be taken into account. This book treats ...
اقرأ المزيد
Stability of Nonautonomous Differential Equations
Main theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
اقرأ المزيد
Stabilità funzionale e controllo neuroumorale
La stabilità della funzione è stato il concetto di riferimento da C. Bernard ad oggi, sia per la biologia che per la medicina ...
اقرأ المزيد
Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes
Dr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...
اقرأ المزيد
Stabilization, Optimal and Robust Control : Theory and Applications in Biological and Physical Sciences
Systems governed by nonlinear partial differential equations (PDEs) arise in many spheres of study. The stabilization and ...
اقرأ المزيد
Standard Monomial Theory : Invariant Theoretic Approach
This book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
اقرأ المزيد
State of the Universe 2008 : New Images, Discoveries, and Events
Provides an annual astronomy review suitable for the popular science level reader to be published every September. The book ...
اقرأ المزيد
Static and Dynamic Analysis of Engineering Structures : Incorporating the Boundary Element Method / Levon G. Petrosian, Vladimir A. Ambartsumian
Illustrates the modern methods of static and dynamic analysis of structures; Provides methods for solving boundary value ...
اقرأ المزيد
