CLASSICAL RHETORICS AND RHETORICIANS Critical Studies and Sources
2005 年出版402 页ISBN：0313321787
APPLIED LINEAR PROGRAMMING:FORTHE SOCIOECONOMIC AND ENVIRONMENTAL SCIENCES
1978 年出版327 页ISBN：012299650X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Legal Studies:Terminology and Transcription
Roderick-Bolton2003 年出版504 页ISBN：9780538437226;0538437227
STUDIES IN ENGLISH AND AMERICAN LITERATURE AND STYLE
J. GILINSKY1956 年出版408 页ISBN：
R and data mining: examples and case studies
Yanchang Zhao2013 年出版234 页ISBN：0123969637
ISLAM AND PUBLIC LAW CLASSICAL AND CONTEMPORARY STUDIES
CHIBLI MALLAT1993 年出版282 页ISBN：1853337684
BROADCAST/CABLE PROGRAMMING:STRATEGIES AND PRACTICES SECOND EDITION
SUSAN TYLER EASTMAN2222 年出版529 页ISBN：
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
