Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings - Rovan, Branislav; Sassone, Vladimiro; Widmayer, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2012)