Dang, Xuan Hung
14  Ergebnisse:
Personensuche X
?
3

Integrated Uncertainty in Knowledge Modelling and Decision .. 

6th International Symposium, IUKM 2018, Hanoi, Vietnam, Mar...  Lecture Notes in Computer Science ; 10758;Lecture Notes in Artificial Intelligence ; 10758;SpringerLink, Bücher;Springer eBook Collection, Computer Science
 
?
 
?
5

Distributed Computing and Internet Technology: 16th Interna.. 

Information Systems and Applications, incl. Internet/Web, and HCI, 11969
Hung, Dang Van ; D´Souza, Meenakshi - 1st ed. 2020 . , 2020
 
?
6

Automated Technology for Verification and Analysis: 18th In.. 

Programming and Software Engineering, 12302
Hung, Dang Van ; Sokolsky, Oleg - 1st ed. 2020 . , 2020
 
?
7

Theoretical Aspects of Computing – ICTAC 2017 

14th International Colloquium, Hanoi, Vietnam, October 23-2...  Lecture Notes in Computer Science ; 10580;SpringerLink, Bücher;Springer eBook Collection, Computer Science
 
?
8

Automated Technology for Verification and Analysis 

11th International Symposium, ATVA 2013, Hanoi, Vietnam, Oc...  Lecture Notes in Computer Science ; 8172;SpringerLink, Bücher
 
?
9

Theo retical Aspects of Computing - ICTAC 2005 

Second International Colloquium, Hanoi, Vietnam, October 17...  Lecture Notes in Computer Science ; 3722
 
?
10

Theoretical aspects of computing - ICTAC 2005 

second international colloquium, Hanoi, Vietnam, October 17...  Lecture notes in computer science ; 3722
 
?
11

Trace Element 

Analytical Chemistry in Medicine and Biology ; Volume 2: Pr...  Trace Element ; Volume 2
Aaseth, J ; Abdulla, M ; Aberg, A... - Reprint 2021 . , [2021]
 
?
12

Physica status solidi 

Volume 124, Number 1: July 1  Physica status solidi ; Volume 124, Number 1, B
Acharya, C. K ; Agresti, A ; Aksenov, V. L... - Reprint 2021 . , [2021]
 
?
 
?
14

Automated technology for verification and analysis 

18th International Symposium, ATVA 2020, Hanoi, Vietnam, Oc...  Lecture notes in computer science ; 12302;Springer eBook Collection
 
1-14