Languages
Jump To : Overview | Titles | Subjects

Jia, Limin.

Overview
Works: 8 works in 17 publications in 1 languages
Titles
Linear logic and imperative programming. by: Princeton University.; Jia, Limin. (Electronic resources)
Proceedings of the 3rd International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2017 = transportation / by: Jia, Limin.; SpringerLink (Online service); International Conference on Electrical and Information Technologies for Rail Transportation (2017 :) (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: Jia, Limin.; SpringerLink (Online service); International Conference on Electrical and Information Technologies for Rail Transportation (2019 :) (Electronic resources)
The proceedings of 2024 International Conference of Electrical, Electronic and Networked Energy Systems.. Volume I by: Jia, Limin.; SpringerLink (Online service); International Conference of Electrical, Electronic and Networked Energy Systems ((2024)) (Electronic resources)
Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2023 = energy traction technology of rail transportation / by: Jia, Limin.; SpringerLink (Online service); International Conference on Electrical and Information Technologies for Rail Transportation (2023 :) (Electronic resources)
The proceedings of 2024 International Conference of Electrical, Electronic and Networked Energy Systems.. Volume II by: Jia, Limin.; SpringerLink (Online service); International Conference of Electrical, Electronic and Networked Energy Systems ((2024)) (Electronic resources)
Advances and applications in SmartRail, traffic, and transportation engineering = proceedings of 2024 2nd International Conference on SmartRail, Traffic and Transportation Engineering (ICSTTE 2024) / by: Jia, Limin.; SpringerLink (Online service); Easa, Said.; International Conference on SmartRail, Traffic and Transportation Engineering (2024 :); Wang, Yanhui. (Electronic resources)
Show more
 
 
Change password
Login