Map     中文

From State Key Laboratory of Computer Science

Main Page > Research > Books
Jump to: navigation, search
  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.
  12. Jingzheng Wu,Yanjun Wu,Bei Guan,Yuqi Lin,Samee U. Khan,Nasro Min-Allah,Yongji Wang:C2Hunter: Detection and Mitigation of Covert Channels in Data Centers. In:Handbook on Data Centers,Springer-Verlag,2014
  13. Naijun Zhan,Shuling Wang,Hengjun Zhao:Formal Modelling, Analysis and Verification of Hybrid Systems. In the Theories of Programming, Lecture Notes in Computer Science 8050,Springer-Verlag,2013
  14. George Barmpalias,Andy Lewis-Pye:The information content of typical reals,Springer Basel,2014
  15. Dengguo Feng:Trusted Computing - the Theory and Practice,Tsinghua University Press,2013
  16. Xiaofeng Meng,Zhiming Ding,Jiajie Xu:Moving Objects Management—Models, Techniques and Applications,Springer Verlag & Tsinghua University Press,2014

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki