Précis de recherche opérationnelle: méthodes et exercices d'application 7e Edition
Robert Faure ;
（英）考特-布朗（Court-Brown M.C.）编2016 年出版2769 页ISBN：9787565911378
1975年，洛克伍德和格林主编出版了本书的第1版。历经40余年，多次改版，《洛克伍德-格林：成人骨折》以其内容全面、系统、深入、实用，受到骨科医生的喜爱和推崇，成为创伤骨科最为经典、权威的学术著作，被誉为“骨科.....
（英）考特-布朗（Court-Brown M.C.）编2016 年出版1644 页ISBN：9787565911378
1975年，洛克伍德和格林主编出版了本书的第1版。历经40余年，多次改版，《洛克伍德-格林：成人骨折》以其内容全面、系统、深入、实用，受到骨科医生的喜爱和推崇，成为创伤骨科最为经典、权威的学术著作，被誉为“骨科.....
（法）贝尔纳·韦尔贝尔（
《蚂蚁》地球上两大社会文明的交锋，至今胜负未分。人类到底是无所不能的神明？抑或是无恶不作的巨大怪物？千百年来的互不了解，惊心动魄地血腥残杀。在这个真正令人震惊的、神密的地球内部，在这部充满奇异和大胆想...
（英）
亲爱的老师们、同学们，由外语中教学与研究出版社和英国剑桥大学出版社联合出版的这套《外研社·剑桥英语分级读物》终于与国内读者见面了。它集原创性、针对性、时代性和多样性于一体，是一套理想的英语学习读...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）Jeffery M.Zupan，（美）Mark Wright著；贾晶，程锦译2005 年出版58 页ISBN：756004560X
本书用中英对照的形式，结合图片和文字，介绍了人类交通的发展历史与现状，尤其讨论了发展公共交通的重要性，以及各国在这方面采取的做法。...
（美）M.David Stone，（美）Alfred Poor著；邓刚，吴浩译2001 年出版326 页ISBN：7301050631
本书以独立的问题为单元组织全文，内容包括计算机崩溃、计算机硬件和Windows、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。
