Hung, Dang Van books & textbook
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 1 (Advances in Intelligent Systems and Computing, 244)
Huynh, Van Nam Denoeux, Thierry Tran, Dang Hung Le, Anh Cuong Pham, Son Bao
Springer /2013-10-17 Paperback / 442 Pages
isbn-10: 3319027409 / isbn-13: 9783319027401
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Programming and Software Engineering)
Van Hung, Dang Ogawa, Mizuhito
Springer /2013-09-11 Paperback / 542 Pages
isbn-10: 3319024434 / isbn-13: 9783319024431
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Programming and Software Engineering)
Springer /2020-10-12 Paperback / 588 Pages
isbn-10: 3030591514 / isbn-13: 9783030591519
Integrated Uncertainty in Knowledge Modelling and Decision Making: 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings (Lecture Notes in Computer Science, 10758)
Huynh, Van-Nam Inuiguchi, Masahiro Tran, Dang Hung Denoeux, Thierry
Springer /2018-02-04 Paperback / 500 Pages
isbn-10: 3319754289 / isbn-13: 9783319754284
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 2 (Advances in Intelligent Systems and Computing, 245)
Huynh, Van Nam Denoeux, Thierry Tran, Dang Hung Le, Anh Cuong Pham, Son Bao
Springer /2013-10-17 Paperback / 460 Pages
isbn-10: 3319028200 / isbn-13: 9783319028200
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science, 3722)
Hung, Dang Van Wirsing, Martin
Springer /2005-10-04 Paperback / 632 Pages
isbn-10: 3540291075 / isbn-13: 9783540291077
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings (Lecture Notes in Computer Science, 11969)
Hung, Dang Van D´Souza, Meenakshi
Springer /2019-12-03 Paperback / 452 Pages
isbn-10: 3030369862 / isbn-13: 9783030369866
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)
Springer /2017-09-17 Paperback / 325 Pages
isbn-10: 3319677284 / isbn-13: 9783319677286
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Dang Van, Hung George, Chris Janowski, Tomasz Moore, Richard
Springer /2002-02-08 Paperback / 420 Pages
isbn-10: 1852333596 / isbn-13: 9781852333591
