















Advances in Visual Informatics
584,-

Scale Space and Variational Methods in Computer Vision
584,-

Formal Methods in Outer Space
611,-

Trends in Functional Programming
431,-

Evolutionary Multi-Criterion Optimization
584,-

Evolutionary Multi-Criterion Optimization
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Unconventional Computation and Natural Computation
584,-

Human-Computer Interaction. Interaction Techniques and Novel Applications
584,-

Advances in Visual Informatics
584,-

Scale Space and Variational Methods in Computer Vision
584,-

Formal Methods in Outer Space
611,-

Trends in Functional Programming
431,-

Evolutionary Multi-Criterion Optimization
584,-

Evolutionary Multi-Criterion Optimization
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Unconventional Computation and Natural Computation
584,-

Human-Computer Interaction. Interaction Techniques and Novel Applications
584,-