Languages
Lau, Kung-Kiu.
Overview
| Works: | 10 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Service-oriented and cloud computing = Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings /
by:
Lau, Kung-Kiu.; SpringerLink (Online service); Zimmermann, Wolf.; Villari, Massimo.
(Electronic resources)
Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
Banach, Richard.; Lau, Kung-Kiu.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2005 :)
(Language materials, printed)
Logic based program synthesis and transformation = 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
by:
Lau, Kung-Kiu.; SpringerLink (Online service); LOPSTR 2000 ((2000 :)
(Language materials, printed)
Subjects
Software Engineering.
Logics and Meanings of Programs.
Software engineering- Congresses.
Logic programming
Management of Computing and Information Systems.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Service-oriented architecture (Computer science)
Business Information Systems.
Computer Science.
Cloud computing
Systems and Data Security.