LIBRARY Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Datatype-Generic Programming. International Spring School, SSDGP 2006 2007 · ENGLISH · PDF View details →
LIBRARY Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers 2014 · ENGLISH · PDF View details →
LIBRARY Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 2007 · ENGLISH · PDF View details →
LIBRARY Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany 2003 · ENGLISH · PDF View details →
LIBRARY Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 2007 · ENGLISH · PDF View details →