E-LIB Suche - Ergebnisse für: Lau, Lin Kiu

1

Proceedings of the 1st International Workshop on Exploring ..:

Kruchten, Philippe ; Lau, Kung-Kiu ; Nakagawa, Elisa Yumi , 2015

2

Service-Oriented and Cloud Computing

Third European Conference, ESOCC 2014, Manchester, UK, Sept... Lecture Notes in Computer Science ; 8745;SpringerLink, Bücher

Villari, Massimo ; Zimmermann, Wolf ; Lau, Kung-Kiu , 2014

Link: https://doi.org/10.1007/..

3

Service-Oriented and Cloud Computing

Second European Conference, ESOCC 2013, Málaga, Spain, Sep... Lecture Notes in Computer Science ; 8135;SpringerLink, Bücher

Lau, Kung-Kiu ; Pimentel, Ernesto ; Lamersdorf, Winfried , 2013

Link: https://doi.org/10.1007/..

4

Formal Methods and Software Engineering (vol. # 3785)

7th International Conference on Formal Engineering Methods,... Lecture Notes in Computer Science ; 3785

Banach, Richard ; Lau, Kung-Kiu , 2005

Link: http://dx.doi.org/10.100..

5

Formal methods and software engineering

7th International Conference on Formal Engineering Methods,... Lecture notes in computer science ; 3785

Lau, Kung-Kiu ; Banach, Richard , 2005

Link: http://dx.doi.org/10.100..

6

Program Development in Computational Logic

A Decade of Research Advances in Logic-Based Program Develo... Lecture Notes in Computer Science ; 3049

Bruynooghe, Maurice ; Lau, Kung-Kiu , 2004

Link: https://doi.org/10.1007/..

7

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 2... Lecture Notes in Computer Science ; 2042;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Lau, Kung-Kiu , 2001

Link: https://doi.org/10.1007/..

8

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000... Lecture Notes in Computer Science ; 1861;Lecture Notes in Artificial Intelligence ; 1861;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Lloyd, John ; Kerber, Manfred ; Lau, Kung-Kiu... , 2000

Link: https://doi.org/10.1007/..