Showing 1 - 3 results of 3 for search 'Hung, Dang Van', query time: 0.02s Refine Results
  1. 1
    Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
    Published 2005
    Other Authors: “…Hung, Dang Van…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
    Published 2017
    Other Authors: “…Hung, Dang Van…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Published 2013
    Other Authors: “…Hung, Dang Van…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search