From State Key Laboratory of Computer Science

1. Zhisong TANG, XYZ Research Group, Temporal Logic Programming and Software Engineering: Volume 2 (Software Engineering Methodologies and Tools) (In Chinese), Science Press, May 2005.
2. Yulin FENG, Tao Huang, Beihong JIN, Network Distributed Computing and Software Engineering (In Chinese), Science Press, May 2003.
3. Huimin LIN, Hans-Dieter Ehrich: Proceedings of the 3rd International Conference on Quality Software, QSIC 2003, IEEE Computer Science Press, November 2011.
4. Yunquan ZHANG, Ying CHEN, Chinese Translation of "Introduction to Parallel Algorithms", China Machine Press/China CITIC Press, February 2004.
5. Yulin FENG, Hua ZHONG, Modern Software Technology, Chemical Industry Press, April 2004.
6. Jianweng LEN, Zhenchong CHEN, Mingshu LI, Exceed Traditional Software Development: The Illusion and Reality of Extreme Programming (In Chinese), Publishing House of Electronic Industry, January 2005.
7. Qing WANG, Huaizhang LI, Mingshu LI, Software Quality Management: Standard, Technology and Implemention (In Chinese), China Planning Press, 2005.
8. Gang XU, Tao HUANG, Chinese Translation of "Effective XML: 50 Specific Ways to Improve Your XML", Publishing House of Electronic Industry, 2005.
9. Huimin LIN, Xinxin LIU, Jia LIU, Nan QU, Chinese Translation of "Communicating and Mobile Systems: the pi-Calculus" (In Chinese), Tsinghua University Press, January 2009.
10. Yulin FENG, Tao HUANG, Beihong JIN, Network Distributed Computing and Software Engineering: Second Version (In Chinese), Science Press, May 2011.
11. Hejiao HUANG, Li JIAO, Yo-Yat Cheung, Wai-Ming Mak, Property-Preserving Petri Net Process Algebra in Software Engineering, World Scientific, December 2011.