Springer Berlin Heidelberg

Cryptology and Network Security

DNA Computing

Data and Applications Security XXIII

Database and Expert Systems Applications

Developments in Language Theory

Disposable Bioreactors

Distributed Applications and Interoperable Systems

Distributed Computing in Sensor Systems

Domain Decomposition Methods in Science and Engineering XVIII

Domain-Specific Languages

E-Technologies: Innovation in an Open World

E-Voting and Identity

EUROHIP

Earth Observation of Wildland Fires in Mediterranean Ecosystems

Electronic Structure and Magnetism of 3d-Transition Metal Pnictides

Embedded Computer Systems: Architectures, Modeling, and Simulation

Energy Minimization Methods in Computer Vision and Pattern Recognition

Epistemological Aspects of Computer Simulation in the Social Sciences

Evolutionary Computation in Combinatorial Optimization

Formal Methods and Software Engineering

Formal Methods for Industrial Critical Systems

Formal Methods: Foundations and Applications

Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience

Functional Imaging and Modeling of the Heart

Future Multimedia Networking

GeoSpatial Semantics

Geodetic Reference Frames

Graph-Based Representations in Pattern Recognition

Groupware: Design, Implementation, and Use

Hardware and Software: Verification and Testing

Holonic and Multi-Agent Systems for Manufacturing

How Unified Is the European Union?

Human Interface and the Management of Information. Information and Interaction

Hybrid Systems: Computation and Control

Image Analysis

Image Analysis and Recognition

Implementation and Application of Automata

Independent Component Analysis and Signal Separation

Information Security

Integrated G Proteins Signaling in Plants

Intelligence and Security Informatics

Intelligent Computer Mathematics

Intelligent Scene Modelling Information Systems

Jets from Young Stars IV

Job Scheduling Strategies for Parallel Processing

Knowledge Science, Engineering and Management

Ladoga and Onego - Great European Lakes

Language Engineering and Rigorous Software Development