Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Spatial Information Theory
Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
Lee mas
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 ...
Lee mas
Special Relativity
After a century of successes, physicists still feel the need to probe the limits of the validity of theories based on special ...
Lee mas
Special Topics in Information Technology Editors (view affiliations)
This book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Lee mas
Special Topics in Information Technology
This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Lee mas
Spectral Theory of Infinite-Area Hyperbolic Surfaces
This book introduces geometric spectral theory in the context of infinite-area Riemann surfaces, providing a comprehensive ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Splitting Deformations of Degenerations of Complex Curves
The author develops a deformation theory for degenerations of complex curves; specifically, he treats deformations which ...
Lee mas
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 ...
Lee mas
Stability of Nonautonomous Differential Equations
Main theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
