Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mousavi, Mohammad Reza. (Springer International Publishing : Imprint: Springer, 2017)