Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17–19, (Paperback)
Computation, Logic, Games, and Quantum Foundations – The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60t (Paperback)
Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softw (2015) (Paperback)