4 works on record
Grundlagen des maschinellen Beweisens
Business Intelligence
Fundamental Approaches to Software Engineering
Model-Based Software and Data Integration