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