（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
王志勇，柴春红主编；吴春梅，杜春彦副主编；张维维，蔡威，王中艳等编委；方承胜主审2012 年出版274 页ISBN：9787560982007
本书介绍了高等数学的基本内容，主要包括函数、极限、连续，导数与微分，中值定理，不定积分，定积分及其应用，一元微分方程等内容。
日本大宝石出版社编著；李可，周飞，张光新等译2013 年出版689 页ISBN：9787503245640
本书为《走遍全球》系列的香港、澳门分册。从交通、住宿、购物、吃饭，到景点、国家历史都有涉及，全方位为读者提供旅行资讯。图片清晰、地图翔实。...
（美）戴维·拉尔夫·米拉德（D.Ralph Millard）著；程宁新等译2004 年出版725 页ISBN：7535935133
本书从整形外科的横向和纵向出发，精选了33条指导整形外科以及其他外科医生临床工作的原则，并结合作者多年临床工作的实践，予以详细阐述。...
