(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
郭玲格主编2003 年出版416 页ISBN:7507515281
健康已成为老百姓日益关注的话题。本书将向你传递怎样预防疾病、增加身体的抵抗力,让健康的生活属于您。
刘英格,徐继宁主编2003 年出版561 页ISBN:7801870417
本书共收录《新概念英语》词汇2720条,每个词包括读音、拼写、构词用法、例句等项。
马喜法,楼一光,张习格主编2009 年出版192 页ISBN:9787111261896
本书主要包括高级工具钳工的基础知识,专业知识和技能等。
王林主编2009 年出版252 页ISBN:9787539147451
本书让进入教材的作家亲笔讲述创作这篇课文时的所思所想以及写作时的背景,这不仅能让讲授这堂课的老师产生浓厚的兴趣,也能让学习这篇文章的孩子加深印象,从而强化自己的语文意识,增强学习语文的兴趣。市场上目...