2008 | ||
---|---|---|
3 | EE | Yunfu Shen, Yue Wu, Mingjun Xin, Yu Zheng: A Novel Self-Studying Platform with its Application to Programming Courses. ICYCS 2008: 2561-2566 |
2003 | ||
2 | EE | Haiying Cheng, Wu Zhang, Yunfu Shen, Anping Song: The Development and Application of Numerical Packages Based on NetSolve. GCC (1) 2003: 233-236 |
1999 | ||
1 | EE | Yunfu Shen: Elimination of algorithmic quantifiers for ordered differential algebra. Arch. Math. Log. 38(3): 139-144 (1999) |
1 | Haiying Cheng | [2] |
2 | Anping Song | [2] |
3 | Yue Wu | [3] |
4 | Mingjun Xin | [3] |
5 | Wu Zhang | [2] |
6 | Yu Zheng | [3] |