Languages
Hung, Dang Van.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Distributed computing and internet technology16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings /
by:
(1998 :); D'Souza, Meenakshi.; Hung, Dang Van.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings /
by:
(1998 :); Hung, Dang Van.; Sokolsky, Oleg.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(1998 :); Hung, Dang Van.; Kapur, Deepak.; SpringerLink (Online service)
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2005 :Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(1998 :); Hung, Dang Van.; SpringerLink (Online service); Wirsing, Martin.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Natural Language Processing (NLP)
Data Structures and Information Theory.
Electronic data processing
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Operating Systems.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Computer logic
Special Purpose and Application-Based Systems.
Internet
Computer science
Artificial Intelligence.
Security.
Computer Science.
Computer Communication Networks.
Computer System Implementation.
Computer networks
Information theory