 |
|
|
|
| 1. |
|
Advances in Computing Science - ASIAN 2000
Jifeng He, Masahiko Sato
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2000.
|
 |
| 2. |
|
Advances in Computing Science - ASIAN 2000
Jifeng He, Masahiko Sato
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 3. |
|
Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2006.
|
|
| 4. |
|
Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
| 5. |
|
Advances in Blended Learning
Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 6. |
|
Advances in Blended Learning
Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 7. |
|
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Zhiming Liu, Jifeng He
Inbunden. World Scientific Publishing Co Pte Ltd, Singapore, 2006.
|
|
| 8. |
|
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Liu Zhiming Liu, He Jifeng He
E-bok. World Scientific Publishing Company, Singapore, 2006.
|
|
| 9. |
|
The Fundamental Research for Trustworthy Software
Jifeng He
Inbunden. Springer Verlag, Singapore, Singapore, 2023.
|
|
|
|
