D,. H.. · D. Hung · Dang Van Hung Martin Wirsing
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings | 978-3-319-02443-1 | 2013 | Mizuhito Ogawa |
| Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings | 978-3-030-36986-6 | 2020 | Meenakshi D´Souza |
| Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium Hanoi, Vietnam, October 17-21, 2005 Proceedings | 978-3-540-29107-7 | 2009 | Martin Wirsing |
| Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings | 978-3-319-67728-6 | 2017 | Deepak Kapur |