（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
日本大宝石出版社编著；李可，周飞，张光新等译2013 年出版689 页ISBN：9787503245640
本书为《走遍全球》系列的香港、澳门分册。从交通、住宿、购物、吃饭，到景点、国家历史都有涉及，全方位为读者提供旅行资讯。图片清晰、地图翔实。...
（美）戴维·拉尔夫·米拉德（D.Ralph Millard）著；程宁新等译2004 年出版725 页ISBN：7535935133
本书从整形外科的横向和纵向出发，精选了33条指导整形外科以及其他外科医生临床工作的原则，并结合作者多年临床工作的实践，予以详细阐述。...
