Proceedings of the IEEE International Workshop on Methodologies for Non-functional Properties in Services Computing, at the IEEE International Conference on Services Computing (SCC) 2008
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. 2014