Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings

oleh Jos C. M. Baeten, editor
Terbitan: [, Springer], 2012