Dang Van Hung

No bio available. Add one in Open Library.

Books by Dang Van Hung (50 max)

+ shelf+ list

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

2013

Dang Van Hung, Mizuhito Ogawa

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Dang Van Hung, Martin Wirsing

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

2005

Dang Van Hung, Martin Wirsing

+ shelf+ list

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2017

Dang Van Hung, Deepak Kapur

+ shelf+ list

Distributed Computing and Internet Technology 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

2019

Dang Van Hung, Meenakshi D´Souza