DENG Yuxin について
Shanghai Jiao Tong Univ., Dep. of Computer Sci. and Engineering, Shanghai, CHN について
DENG Yuxin について
Inst. of Software, Chinese Acad. of Sciences, State Key Lab. of Computer Sci., Beijing, CHN について
TIU Alwen について
The Australian National Univ., Res. School of Computer Sci., Canberra, AUS について
Formal Aspects of Computing について
確率 について
計算 について
検査 について
順序 について
特性付け について