My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-12 of 12)
Lau, K.-K (Kung-Kiu), 1953-
1
 
    E-RESOURCE c2005

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / [electronic resource] : Kung-Kiu Lau, Richard Banach (eds.).

    International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
Berlin ; New York : Springer,        1 online resource (xiv, 496 p.) : ill. c2005
2
 
    E-RESOURCE 2005

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).

    International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
Berlin ; New York : Springer,        xiv, 496 pages : illustrations ; 24 cm. 2005
3
 
    E-RESOURCE 2001

Logic based program synthesis and transformation : 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.).

    International Workshop on Logic-based Program Synthesis and Transformation (10th : 2000 : London, England)
Berlin ; New York : Springer,        viii, 181 pages : illustrations ; 24 cm. 2001
4
 
    E-RESOURCE 2001

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / K.-K. Lau (ed.).

    International Workshop on Logic-based Program Synthesis and Transformation (10th : 2000 : London, England)
Berlin : Springer,        1 online resource. 2001
5
 
6
 
    PRINTED BOOKS c1992

Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / sponsored by the Association for Logic Programming and ALPUK ; T.P

    International Workshop on Logic Program Synthesis and Transformation (1991 : University of Manchester)
London ; New York : Springer-Verlag,        x, 337 : ill. ; 25 cm. c1992
7
 
    PRINTED BOOKS c1993

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / sponsored by the Association for Logic Programming and ALPUK ; Kun

    International Workshop on Logic Program Synthesis and Transformation, (1992 : University of Manchester)
London ; New York : Springer-Verlag,        xii, 270 p. : ill. ; 24 cm. c1993
9
 
    E-RESOURCE 2004

Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

   
Berlin ; New York : Springer,        1 online resource (viii, 538 pages) : illustrations. 2004
10
 
    E-RESOURCE 2004

Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

   
Berlin ; New York : Springer,        viii, 538 pages : illustrations ; 24 cm. 2004
11
 
    E-RESOURCE 2013

Service-oriented and cloud computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013 : proceedings / Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.).

    ESOCC (Conference) (2nd : 2013 : Málaga, Spain)
Heidelberg : Springer,        1 online resource (x, 244 pages) : illustrations. 2013
12
 
    E-RESOURCE 2014

Service-oriented and cloud computing : third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings / Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau (Eds.).

    ESOCC (Conference) (3rd : 2014 : Manchester, England)
Heidelberg : Springer,        1 online resource (xii, 186 pages) : illustrations. 2014
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove