Browsing P252 - Software Engineering 2016 by Title - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 57-58 of 58

«
»

Verification Witnesses

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Stahlbauer, Andreas
105-106
Working with robots in smart homes and smart factories - robotic co-working

Aßmann, Uwe
115-115

Now showing items 57-58 of 58

«
»