Kung-Kiu Lau

No bio available. Add one in Open Library.

Books by Kung-Kiu Lau (50 max)

+ shelf+ list

Component-based software development: case studies

2004

Kung-Kiu Lau

+ shelf+ list

Logic Program Synthesis and Transformation Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992

2013

Timothy P. Clement, Kung-Kiu Lau

+ shelf+ list

Logic Based Program Synthesis & Transformation

2001

Kung-Kiu Lau

+ shelf+ list

Program development in computational logic: a decade of research advances in logic-based program development

2004

Maurice Bruynooghe, Kung-Kiu Lau

+ shelf+ list

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

2013

Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

+ shelf+ list

Computational Logic CL 2000 00: First International Conference London, UK, July 2428, 2000 Proceedings

2000

John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey

+ shelf+ list

Component-Based Software Development: Case Studies (Series on Component-Based Software Development - Vol. 1)

2004

Kung-Kiu Lau

+ shelf+ list

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Kung-Kiu Lau

+ shelf+ list

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

2005

Kung-Kiu Lau, Richard Banach