Lau, Kung-Kiu.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic based program synthesis and transformation10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
by:
(1998 :); Lau, Kung-Kiu.; SpringerLink (Online service)
(書目-電子資源)
Formal Methods and Software Engineering :7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(1998 :); Banach, Richard.; Lau, Kung-Kiu.; SpringerLink (Online service)
(書目-電子資源)
Service-oriented and cloud computingThird European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings /
by:
(1998 :); Lau, Kung-Kiu.; SpringerLink (Online service); Villari, Massimo.; Zimmermann, Wolf.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Logics and Meanings of Programs.
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.