Showing 1 - 6 results of 6 for search 'Lau, Kung-Kiu', query time: 0.25s Refine Results
  1. 1
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Published 2001
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Published 2004
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
    Published 2005
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings /
    Published 2013
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings /
    Published 2014
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Published 2000
    Other Authors: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search