Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (eds.)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Oleg Sokolsky
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 2
  • PDF
  • English
  • Year: 2014
  • Author: Ladislav Hluch (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh Cuong Le, Son Bao Pham (eds.)
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 1
  • PDF
  • English
  • Year: 2014
  • Author: Riichiro Mizoguchi (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh Cuong Le, Son Bao Pham (eds.)
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Meenakshi D´Souza
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Integrated Uncertainty in Knowledge Modelling and Decision Making
  • PDF
  • English
  • Year: 2018
  • Author: Van-Nam Huynh, Masahiro Inuiguchi, Dang Hung Tran, Thierry Denoeux
4th International Conference on Biomedical Engineering in Vietnam
  • PDF
  • English
  • Year: 2013
  • Author: Huynh Luong Nghia, Truong Quang Dang Khoa (auth.), Vo Van Toi, Nguyen Bao Toan, Truong Quang Dang Khoa, Tran Ha Lien Phuong (eds.)
Advanced Methods for Computational Collective Intelligence
  • PDF
  • English
  • Year: 2013
  • Author: Hieu Le Trung, Vu Le Anh, Viet-Hung Dang, Hai Vo Hoang (auth.), Ngoc Thanh Nguyen, Bogdan Trawiński, Radosław Katarzyniak, Geun-Sik Jo (eds.)
search