He, Jifeng books & textbook
Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5328)
Leung, Elvis Wai Chung Wang, Fu Lee Miao, Lanfang Zhao, Jianmin He, Jifeng
Springer /2008-12-02 Paperback / 195 Pages
isbn-10: 3540899618 / isbn-13: 9783540899617
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS (Component-Based Software Development)
World Scientific Publishing Company /2007-11-29 Hardcover / 368 Pages
isbn-10: 981270017X / isbn-13: 9789812700179
Grundlagenforschung für vertrauenswürdige Software (German Edition)
Springer Vieweg /2025-03-21 Hardcover / 91 Pages
isbn-10: 3662696258 / isbn-13: 9783662696255
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science, 4260)
Springer /2006-10-24 Paperback / 804 Pages
isbn-10: 3540474609 / isbn-13: 9783540474609
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings (Lecture Notes in Computer Science, 1961)
Springer /2000-12-13 Paperback / 316 Pages
isbn-10: 3540414282 / isbn-13: 9783540414285
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software)
McGraw-Hill Book Co Ltd / Hardcover / 175 Pages
isbn-10: 0077090527 / isbn-13: 9780077090524
The Fundamental Research for Trustworthy Software (Reports of China’s Basic Research)
Springer /2024-11-24 Paperback / 94 Pages
isbn-10: 9819955912 / isbn-13: 9789819955916
