Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17–19, (Paperback)
Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 2008, Proceedings (2008) (Paperback)
Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softw (2015) (Paperback)