Tìm kiếm bằng Google
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Sign on to:
Receive email
updates
My DSpace
authorized users
Edit Profile
Search DSpace
Advanced Search
Tai Nguyen So - Vietnam National University, Ha Noi - VNU
>
Browsing by Author Nguyen P.H.
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:
Sort by:
title
submit date
issue date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 5 of 5
Issue Date
Title
Author(s)
2009
A framework for automatic verification of programing exercises
Quan T.T.
;
Nguyen P.H.
;
Bui T.H.
;
Huynh L.V.
;
Do A.T.
2009
An intelligent natural language interface to relational databases
Nguyen A.K.
;
Nguyen P.H.
2010
COMBINE: A tool on combined formal methods for bindingly verification
Nguyen A.N.
;
Quan T.T.
;
Nguyen P.H.
;
Bui T.H.
2010
MAFSE: A model-based framework for software verification
Quan T.T.
;
Hoang D.L.N.
;
Nguyen B.T.
;
Nguyen A.N.
;
Tran Q.D.
;
Nguyen P.H.
;
Thang H.B.
;
Do A.T.
;
Huynh L.V.
;
Doan N.T.
;
Huynh N.T.
;
Nguyen T.D.
;
Nguyen T.T.
;
Nguyen V.H.
2008
Vietnamese spelling detection and correction: Using Bi-gram, minimum edit distance, SoundEx algorithms with some additional heuristics
Nguyen P.H.
;
Ngo T.D.
;
Phan D.A.
;
Dinh T.P.T.
;
Huynh T.Q.
Showing results 1 to 5 of 5
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback