Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings Hung, Dang Van Heftet / 2017 / Engelsk
Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Hung, Dang Van Heftet / 2005 / Engelsk
Automated Technology for Verification and Analysis 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings Hung, Dang Van Heftet / 2020 / Engelsk
Distributed Computing and Internet Technology 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings Hung, Dang Van Heftet / 2019 / Engelsk
