Fun with algorithms : 6th international conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings - Evangelos Kranakis, editor ([Springer-Verlag, ], 2012)