Springer Berlin Heidelberg

Similarity Search and Applications

Similarity-Based Pattern Recognition

Single-Photon Imaging

Smart Health

Social Innovation

Soft Computing Applications and Intelligent Systems

Software Composition

Software Engineering and Formal Methods

Software Engineering for Resilient Systems

Software and Data Technologies

Space-Efficient Data Structures, Streams, and Algorithms

Spontaneous Symmetry Breaking, Self-Trapping, and Josephson Oscillations

Spreadsheets in Science and Engineering

Stability to the Incompressible Navier-Stokes Equations

Statistical Language and Speech Processing

Strongly Interacting Matter in Magnetic Fields

Structural Rehabilitation of Old Buildings

Structure-Preserving Algorithms for Oscillatory Differential Equations

Structured Object-Oriented Formal Language and Method

Surface Effects in Solid Mechanics

Sustainability Appraisal: Quantitative Methods and Mathematical Techniques for Environmental Performance Evaluation

Sustainable Land Use and Rural Development in Southeast Asia: Innovations and Policies for Mountainous Areas

Symbolic and Quantiative Approaches to Resoning with Uncertainty

Synthesis and Modifications of Porphyrinoids

Technology-Enabled Innovation for Democracy, Government and Governance

Telegraph Processes and Option Pricing

Testing Software and Systems

Text, Speech, and Dialogue

The Beauty of Functional Code

The Impact of International Trade and FDI on Economic Growth and Technological Change

The Nature of Computation: Logic, Algorithms, Applications

The Nexus between Artificial Intelligence and Economics

The Personal Web

The Physiology of Characean Cells

The Pre-Kernel as a Tractable Solution for Cooperative Games

The Road to Privatization of Higher Education in China

The Semantic Web - ISWC 2013

The Semantic Web - ISWC 2013

The Semantic Web: ESWC 2013 Satellite Events

The Semantic Web: Semantics and Big Data

The Ways of Federalism in Western Countries and the Horizons of Territorial Autonomy in Spain

The Ways of Federalism in Western Countries and the Horizons of Territorial Autonomy in Spain

Theories of Programming and Formal Methods

Theory and Applications of Satisfiability Testing - SAT 2013

Theory and Practice of Natural Computing

Theory of Cryptography

Theory, Practice, and Applications of Rules on the Web

Tools and Algorithms for the Construction and Analysis of Systems