Skip navigation
HKU Login
Guest Login
Home
Publications
Researchers
Staff
Research Postgraduates
Organizations
Grants
Datasets
Deposit Data
HKUL Research Data Management
Theses
Patents
Community Service
Browsing "Computer Science & Information Systems: Theses" by Author 梁秉雄
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
中
or enter first few letters:
Showing results 1 to 2 of 2
Title
Author(s)
Issue Date
Domain modelling: with a case study in air traffic
Leung, Ping Hung, Karl Richard.
梁秉雄
1997
Towards a semantics bridge between structured specifications and logicspecifications
Leung, Ping-hung, Karl Richard.
梁秉雄
1992