1
Published 2015
Springer International Publishing
Table of Contents: ... Discovery Based on Large-Scale Feature Selection and MapReduce -- Social Validation of Solutions...

2
Published 2018
Springer International Publishing
Table of Contents: ... -- Specification, verification and validation...

3
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... of Embedded Control Software with Full Semantics -- Modeling End-Users as Contributors in Human Computation...