1
Service-Oriented and Cloud Computing [E-Book] : Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings /
2
Service-Oriented and Cloud Computing [E-Book] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings /
3
Formal Methods and Software Engineering (vol. # 3785) [E-Book] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
4
Component-based software development : case studies [E-Book] /
5
Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development /
6
Logic Based Program Synthesis and Transformation [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers /
7
Computational Logic — CL 2000 [E-Book] : First International Conference London, UK, July 24–28, 2000 Proceedings /