劉 少英
更新日: 2020/09/02
書籍等出版物
12
表示件数
-
LNCS, Springer 2018年11月16日
-
LNCS 10795, Springer 2017年11月16日
-
LNCS 10009, Springer 2016年11月14日
-
LNCS 10189, Springer 2016年11月13日
-
LNCS 9559, Springer 2015年11月6日 (ISBN: 9783319312194)
-
LNCS 8332, Springer 2013年10月29日 (ISBN: 9783319049144)
-
LNCS 7787, Springer 2012年11月13日 (ISBN: 9783642392764)
-
Springer-Verlag 2008年10月1日
-
Springer-Verlag 2004年4月1日 (ISBN: 3540206027)
-
Proceedings of Third IEEE International Conference on Formal Engineering Methods (ICFEM'2000) IEEE Computer Society Press, York, UK 2000年9月
-
Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'97), IEEE Computer Society Press, Brisbane, Australia, 9-11 December 1998 1998年12月
-
Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM'97), IEEE Computer Society Press, Hiroshima, 12-14 November 1997 1997年11月