Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Author 
Bowen, Jonathan P. editor. Li, Qin. editor. Xu, Qiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521129.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40436-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for 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
Author 
Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11901433
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers
Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers
Author 
Leung, Elvis Wai Chung. editor. Wang, Fu Lee. editor. Miao, Langfang. editor. Zhao, Jianmin. editor. He, Jifeng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89962-4
Format: 
Availability 
Online Library~1
Available:
Copies: