yr 〜
yr

Search results 3

Knowledge and systems engineering : proceedings of the fifth international conference KSE 2013 : Oct 2013, Hanoi, Vietnam. (Advances in Intelligent Systems and Computing ; 244-245)

Knowledge and systems engineering : proceedings of the fifth international conference KSE 2013 : Oct 2013, Hanoi, Vietnam. (Advances in Intelligent Systems and Computing ; 244-245)
Paper図書
Springerc2014.<M17-14-852>
National Diet Library
  • Author Heading... of Education. Vietnam National University, Hanoi. University of Engineering and Technology.

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)
Paper図書
Springerc2013.<M17-14-770>
National Diet Library
  • Author Heading...awa, Mizuhito. Vietnam National University, Hanoi. University of Engineering and Technology.

2012 fourth international conference on knowledge and systems engineering : (KSE 2012) : Danang, Vietnam : 17-19 August 2012 : international conference on knowledge and system engineering : Aug 2012, Danang, Vietnam.

2012 fourth international conference on knowledge and systems engineering : (KSE 2012) : Danang, Vietnam : 17-19 August 2012 : international conference on knowledge and system engineering : Aug 2012, Danang, Vietnam.
Paper図書
IEEEc2012.<M17-13-1373>
National Diet Library
  • Author Heading...of Technology. Vietnam National University, Hanoi. University of Engineering and Technology.

Reached to the end of result.