（美）Christopher M. King等著；常晓波，杨剑峰译2003 年出版315 页ISBN：7302062293
本书是一本介绍信息系统安全体系结构的专著，讲述了安全体系结构的规划和设计过程、常用的技术，以及如何操作和支持已部署的系统。
（美） Lansing M. Prescott，John P. Harley，Donald A. Klein 沈萍，彭珍荣主译2003 年出版1054 页ISBN：7040121700
本书内容包括11个部分共44章，微生物学概论，微生物营养、生长和控制，微生物代谢，微生物遗传，病毒，微生物世界的多样性，共生群的本质，免疫学基础，微生物疾病和他们的控制等。...
（美）奥尔森（Olson，M.）等著；北京建筑工程学院道桥教研室译1980 年出版101 页ISBN：15044·1633
SIMILES DICTIONARY FIRST EDITION
ELYSE SOMMER AND MIKE SOMMER1988 年出版950 页ISBN：0810343614
（美）雷蒙德 M.斯穆里安著；余俊伟译2019 年出版164 页ISBN：9787030596345
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...
（美）多贝克（Dobeck，M.）著2004 年出版85 页ISBN：7302082766
《开心小读者》是清华大学出版社从美国培生教育出版集团原版引进、影印出版的一套少儿英语读物。本套读物画面优美、语言生动、故事题材广泛，包括孩童日常学习和生活经历、探险、童话故事、自然知识等等。原...
（美）M.卡雷尔-比利亚德（M.Carrel-Billiard）等著；邵丹华，张波译1998 年出版229 页ISBN：7030066103
（美）马克W.斯庞，赛斯·哈钦森，M.维德雅萨加著；贾振中，徐静，付成龙，伊强译2016 年出版265 页ISBN：9787111542759
基于Spong和Vidyasagar所著的十分成功的经典教材《Robot Dynamics and Control》（Wiley，1989），本书对机器人领域做了彻底更新且十分完备的介绍。本书所介绍的基础和高级内容不仅易读，并且在数学推导上十分严谨。...
