Le Francais a grannde vitesse cours intensif pour debutats
S.Truscott-M.Mitchell1994 年出版190 页ISBN：
世界卫生组织基本放射系统 上 放射诊断手册 为一般医务人员用
（美）P·E·S·Palmer等编；刘玉清，朱杰敏译1989 年出版200 页ISBN：711701007X
The Fifteenth ANNUAL BATTERY CONFERENCE on APPLICATIONS AND ADVANCES
Radhe S.L.Das1999 年出版358 页ISBN：
Espa?ol escrito:curso para hispanohablantes bilingües
Guadalupe Valdés1999 年出版340 页ISBN：
Some Problems of Chemical Kinetics and Reactivity Volume 1-2
J.E.S.Bradley1958 年出版484 页ISBN：
(英)托·斯·艾略特(T.S.Eliot)著2012 年出版253 页ISBN：9787532753468
本书收录了艾略特从1917年开始到1961年间的9篇评论文章和演讲稿。这位在文学界享有极高声誉的评论家有着独到的眼光，对众多文化现象进行了评论，如对文学批评的运用的论述，另外他还评价了对他产生巨大影响力的...
ON EQUAL TERMS THE CONSTITUTIONAL POLITICS OF EDUCATIONAL OPPORTUNITY
DOUGLAS S.REED2001 年出版238 页ISBN：069111370X
INTERMEDIATE READING PRACTICES BUILDING READING & VOCABULARY SKILLS REVISED EDITION
KEITH S.FOLSE1993 年出版264 页ISBN：047208206X
Physics and chemistry of the solar system second edition
John S.Lewis2004 年出版655 页ISBN：012446744x
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
