STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Jifeng He | lit.salon
Jifeng He
No bio available.
Add one in Open Library.
Books by Jifeng He (50 max)
+ shelf
+ list
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)
2006
Zhiming Liu, Jifeng He
+ shelf
+ list
Mathematical Frameworks for Component Software Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2
2006
Zhiming Liu, Jifeng He
+ shelf
+ list
Provably correct systems: modelling of communication languagesand design of optimized compilers
1994
Jifeng He
+ shelf
+ list
Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
2003
Jifeng He, Masahiko Sato
+ shelf
+ list
Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers
2008
Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He
+ shelf
+ list
Fundamental Research for Trustworthy Software
2023
Jifeng He
+ shelf
+ list
Grundlagenforschung Für Vertrauenswürdige Software
2024
Jifeng He
