Languages
Hung, Dang Van.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
, [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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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.