年 〜
年

検索結果 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)
紙図書
Springerc2014.<M17-14-852>
国立国会図書館
  • 著者標目... 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)
紙図書
Springerc2013.<M17-14-770>
国立国会図書館
  • 著者標目...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.
紙図書
IEEEc2012.<M17-13-1373>
国立国会図書館
  • 著者標目...of Technology. Vietnam National University, Hanoi. University of Engineering and Technology.

検索結果は以上です。