Electronic Books

Total Books: 1561 - 1580 /1913

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 ...

Total Books: 1561 - 1580 /1913