Jia, Limin.

Overview

Works:	8 works in 10 publications in 1 languages

Titles

Linear logic and imperative programming. by: Princeton University.; Jia, Limin. (Electronic resources)

Proceedings of the 5th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2021 = novel traction drive technologies of rail transportation / by: International Conference on Electrical Engineering and Information Technologies for Rail Transportation (2021 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Train operation in emergencies by: Jia, Limin.; Meng, Xuelei.; Qin, Yong.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 3rd International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2017 = electrical traction / by: International Conference on Electrical and Information Technologies for Rail Transportation (2017 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 2015 International Conference on Electrical and Information Technologies for Rail Transportation = electrical traction / by: Jia, Limin.; SpringerLink (Online service) (Electronic resources)

High-speed railway operation under emergent conditions = theoretical methodology and applications / by: Jia, Limin.; Wang, Li.; Qin, Yong.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013).. Volume II by: Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 3rd International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2017 = transportation / by: International Conference on Electrical and Information Technologies for Rail Transportation (2017 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 4th International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2019 = novel traction drive technologies of rail transportation / by: International Conference on Electrical and Information Technologies for Rail Transportation (2019 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013).. Volume I by: Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Subjects