《Modelling and Analysis of Hybrid Systems》,作者:Duan Zhenhua著 出版社:科学出版社 ISBN:7030139674。This book presents a Hybrid Projection Temporal Logic (HPTL) and Hybrid Machine notations to model, analyze and co
《PROCEEDINGS OF INTERNATIONAL FOURTH BEIJING CONFERENCE AND EXHIBITION ON INSTRUMENTAL ANALYSIS. E Magnetic Resonance》,作者:Yan Jici, Yang Jun等编 出版社:科学出版社 ISBN:7030027795。