کتاب‌های Jifeng He - BookPine

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers

Elvis Wai Chung Leung

MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS

MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS

Zhiming Liu

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Zhiming Liu

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Jifeng He

BCS-FACS 7th Refinement Workshop

BCS-FACS 7th Refinement Workshop

Jifeng He

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

Jifeng He