語系
Hung, Dang Van.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kapur, Deepak.; Hung, Dang Van.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings /
by:
Hung, Dang Van.; D´Souza, Meenakshi.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
Hung, Dang Van.; Sokolsky, Oleg.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
Wirsing, Martin.; SpringerLink (Online service); Hung, Dang Van.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Data Structures and Information Theory.
Computer System Implementation.
Operating Systems.
Data protection.
Artificial intelligence.
Computer Communication Networks.
Natural language processing (Computer science).
Information theory
Information Systems Applications (incl. Internet).
Data structures (Computer science).
Architecture, Computer.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Special purpose computers.
Computer communication systems.
Computer logic
Artificial Intelligence (incl. Robotics)
Security.
Application software.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Electronic data processing
Natural Language Processing (NLP).
Operating systems (Computers).
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.