Springer Berlin Heidelberg

Language Engineering and Rigorous Software Development

Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics

Location and Context Awareness

Machine Learning and Data Mining in Pattern Recognition

Macro Roles for MicroRNAs in the Life and Death of Neurons

Marine Climate and Climate Change

Mathematical Morphology and Its Application to Signal and Image Processing

Mathematical Theory and Computational Practice

MICAI 2009: Advances in Artificial Intelligence

Microbial Strategies for Crop Improvement

Middleware 2009

Middleware for Network Eccentric and Mobile Applications

Minimally Invasive Ophthalmic Surgery

Mining, Society, and a Sustainable World

Model Checking Software

Modeling and Control for Efficient Bipedal Walking Robots

Models in Software Engineering

Multi-Agent Systems for Society

Multimodal Corpora

Multimodal Signals: Cognitive and Algorithmic Issues

Multiple Classifier Systems

Network Control and Optimization

Numerical Validation in Current Hardware Architectures

On the Move to Meaningful Internet Systems: OTM 2009

Operations Research Proceedings 2008

Optical Supercomputing

Optimization and Cooperative Control Strategies

Organized Adaption in Multi-Agent Systems

Pancreatology

Pattern Recognition and Machine Intelligence

Principles of Practice in Multi-Agent Systems

Privacy Enhancing Technologies

Relations and Kleene Algebra in Computer Science

Reliable Software Technologies - Ada-Europe 2009

Requirements Engineering: Foundation for Software Quality

RoboCup 2008: Robot Soccer World Cup XII

Rule Interchange and Applications

Scale Space and Variational Methods in Computer Vision

SDL 2009: Design for Motes and Mobiles

Semantic Knowledge Management

Semantic Multimedia

Semantics and Algebraic Specification

Service-Oriented Computing

Smart Graphics

Software Composition

Software Language Engineering

Software Process and Product Measurement

Software Process Improvement