

Advances in Visual Informatics
1 214,-

Scale Space and Variational Methods in Computer Vision
584,-

Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
584,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Trends in Functional Programming
458,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-

Advances in Visual Informatics
1 214,-

Scale Space and Variational Methods in Computer Vision
584,-

Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
584,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Trends in Functional Programming
458,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-














