Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
LINEAR CONTROL SYSTEM ANALYSIS AND DESIGN WITH MATLAB
CONSTANTINE H.HOUPIS2014 年出版705 页ISBN：1466504264
导弹制导与控制系统=missile guidance and control system
（George M.siouris）著2010 年出版0 页ISBN：
COMPUTERIZED QUALITY CONTROL:PROGRAMS FOR THE ANALYTICAL LABORATORY
T.F.HARTLEY1987 年出版165 页ISBN：0853129649
SYSTEM OYNAMICS AND CONTROL WITH BOND GRAPH MODELING
JAVIER A.KYPUROS2013 年出版499 页ISBN：9781466560758
ADAPTIVE SYSTEMS IN CONTROL AND SIGNAL PROCESSING 1983
I.D.LANDAU M.TOMIZUKA D.M.AUSLANDER2222 年出版376 页ISBN：0080305652
SMART PRODUCTS SMARTER SERVICES:STRATEGIES FOR EMBEDDED CONTROL
MARY J.CRONIN2010 年出版337 页ISBN：9780521147507
POWER IN THE CLASSROOM: COMMUNICATION CONTROL AND CONCERN
VIRGINIA P. RICHMOND1992 年出版209 页ISBN：0805810277
