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
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)
search