Mathematics of Program Construction [E-Book] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /  

Hinze, Ralf.
2015

Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /  

Colinet, Margot.
2014

Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /  

Höfner, Peter.
2014

Foundations of Information and Knowledge Systems [E-Book]: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /  

Lukasiewicz, Thomas.
2012

Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /  

Ehrig, Hartmut.
2012