語系
Hung, Dang Van.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Distributed computing and internet technology = 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings /
by:
Hung, Dang Van.; SpringerLink (Online service); D'Souza, Meenakshi.; International Conference on Distributed Computing and Internet Technology (2020 :)
(書目-電子資源)
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)
(書目-電子資源)
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.; SpringerLink (Online service); Sokolsky, Oleg.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
主題
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