年 〜
年

検索結果 4 件

Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers : Mar 2021, ------. (Lecture Notes in Computer Science ; 12723)

Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers : Mar 2021, ------. (Lecture Notes in Computer Science ; 12723)
紙図書
Springer[2021]<M17-23-212>
国立国会図書館
  • 著者標目SOFL+MSVL (Workshop) (10th : 2020 : Online) Xue, Jinyun.

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)
紙図書
Springer[2014]<M17-15-714>
国立国会図書館
  • 著者標目...Zhiming, 1961- Xue, Jinyun. Jiangxi shi fan da xue.

Frontiers in algorithmics : third international workshop, FAW 2009 : Hefei, China, June 20-23, 2009 : proceedings. : Jun 2009, Hefei, China. (Lecture Notes in Computer Science ; 5598)

Frontiers in algorithmics : third international workshop, FAW 2009 : Hefei, China, June 20-23, 2009 : proceedings. : Jun 2009, Hefei, China. (Lecture Notes in Computer Science ; 5598)
紙図書
Springerc2009.<M17-10-898>
国立国会図書館
  • 著者標目...croft, John E. Xue, Jinyun. FAW 2009 (2009 : Hefei Univer...

Frontiers in algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings

Frontiers in algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings
紙図書
Xiaotie Deng, John E. Hopcroft, Jinyun Xue (eds.)Springerc2009
全国の図書館

検索結果は以上です。