硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
中国樟属植物资源及其芳香成分 Cinnamomum Plant Resources and Their Aromatic Constituents in China
程必强，喻学俭，丁靖垲等著1997 年出版129 页ISBN：7541609668
SPECIALISTIC ENGLISH FOR ARCHITECTURE，PLANNING AND LANDSCAPE
郑启颖主编 王世福 孟光伟副主编2008 年出版296 页ISBN：9787560944319
本书分为建筑、城市规划、环境设计三大部分，每部分选材涵盖该专业所涉及的主要内容。理论部分侧重基础知识，巩固基础；案例部分力求反映最新的设计思潮。教学模块及特点：课文正文附有主题句中文导读，便于快速了解...
BRIDGING ORGANIZATION DESIGN AND PERFORMANCE 5 WAYS TO ACTIV ATE A GLOBAL OPERATING MODEL
JOHN WILEY AND SONS2016 年出版248 页ISBN：9781119064220
TEACHING SPORT CONCEPTS AND SKILLS A TACTICAL GAMES APPROACH FOR AGES 7 TO 18
STEPHEN A MITCHELL JUDITH L. OSLIN LINDA L. GRIFFIN2013 年出版660 页ISBN：1450411223
INSIDER'S GUIDE TO GRADUATE PROGRAMS IN CLINICAL AND COUNSELING PSYCHOLOGY 1998/1999 EDITION
MICHAEL A.SAYETTE TRACY J.MAYNE JOHN C.NORCROSS1998 年出版322 页ISBN：1572302747
PAT APPLIED IN BIOPHARMACEUTICAL PROCESS DEVELOPMENT AND MANUFACTURING:AN ENABLING TOOL FOR QUALITY-
CENK UNDEY DUNCAN LOW JOSE C.MENEZES MEL KOCH2012 年出版299 页ISBN：9781439829455
较量 关于社会主义历史命运的战略沉思 strategic contemplation over historical destiny of socialism
李崇富著2007 年出版352 页ISBN：7802380243
本书深入阐述了事关整个社会主义历史命运的国际战略势态，具体内容包括：和平演变战略的由来和实质、中国反对“自由化”的历史经验、当代“一球两制”的战略态势、中国反对和平演变的战略应对等。 ...
莫理循眼里的近代中国 北京的莫理循 中英文本 Morrison of Peking
沈嘉蔚编撰；窦坤等译2005 年出版132 页ISBN：7533441141
本书为大型图片集，共收有500幅从未公诸于世的清末民初老照片，选自澳大利亚新南威尔士州立图书馆的莫理循档案。画册中照片分为庚子事变纪实；20世纪初中国近代化变迁；清末民初民情风俗；莫理循与中国仆人的友谊；莫....
