語系
Hung, Dang Van.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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