Jia, Limin.

Overview

Works:	1 works in 10 publications in 1 languages

Titles

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

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

Active safety methodologies of rail transportation by: Jia, Limin.; 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: (1998 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Proceedings of the 3rd International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2017electrical traction / by: (1998 :); 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: (1998 :); 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) 2017transportation / by: (1998 :); Jia, Limin.; SpringerLink (Online service) (Electronic resources)

Subjects