Languages
Hung, Dang Van.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Distributed computing and internet technology = 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings /
by:
International Conference on Distributed Computing and Internet Technology (2020 :); Hung, Dang Van.; D'Souza, Meenakshi.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
ICTAC (Colloquium) (2017 :); Hung, Dang Van.; Kapur, Deepak.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings /
by:
ATVA (Symposium) (2020 :); Hung, Dang Van.; Sokolsky, Oleg.; SpringerLink (Online service)
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
Hung, Dang Van.; Wirsing, Martin.; SpringerLink (Online service); ICTAC 2005 ((2005 :)
(Language materials, printed)
Subjects
Electronic data processing- Congresses.
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Natural Language Processing (NLP)
Data Structures and Information Theory.
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
Computer science- Mathematics
Special Purpose and Application-Based Systems.
Information theory- Congresses.
Internet
Artificial Intelligence.
Electronic data processing- Distributed processing
Security.
Computer Science.
Computer Communication Networks.
Computer System Implementation.
Computer networks