Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
THE DISCOVERY OF GROUNDED THEORY STRATEGIES FOR QUALITATIVE RESEARCH
1967 年出版271 页ISBN：0202300285
MULTIPLE PROCESSOR SYSTEMS FOR REAL-TIME APPLICATIONS
BURT H. LIEBOWITZ JOHN H. CARSON2222 年出版383 页ISBN：
SMART STRUCTURES AND MATERIALS 2000 SMART SYSTEMS FOR BRIDGES
STRUCTURES2000 年出版460 页ISBN：
SMART STRUCTURES AND MATERIALS 1999 SMART SYSTEMS FOR BRIDGES
STRUCTURES1999 年出版350 页ISBN：
Nonliear Estimation and Control of Automotive Drivetrains=.汽车传动系的非线性估计与控制
Hong Chen，Bingzhao Gao2014 年出版250 页ISBN：7030388872
AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2 VOLUME 16 THREE PAPERS ON DYNAMICAL SYSTEMS
A.G.KUSNIRENKO，A.B.KATOK，V.M.ALEKSEEV1981 年出版169 页ISBN：082183066X
