可信软件基础研究项目组编2018 年出版94 页ISBN:9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
上海市软件行业协会编2006 年出版214 页ISBN:7807034661
本书从一个侧面反映了上海软件产业的进程,同时也反映了行业协会成长的过程。
全国计算机技术与软件专业技术资格(水平)考试丛书编委会组编2006 年出版149 页ISBN:7111173031
本书介绍了程序员考试模拟试题等。
英国宝宝中心国际育儿网编著;李湲,山风译2011 年出版311 页ISBN:9787512702103
本书主要从生长发育、喂养、护理、游戏、健康等方面介绍了0~1岁婴儿养育的最新理念和实用方法。本书的作者宝宝中心创办于2000年,是英国第一大育儿网站,迄今已经为数以百万计的新手父母或准爸妈们提供了值得信...
中国建筑与室内设计师网,骁毅文化组织编写2009 年出版64 页ISBN:9787122037206
本书通过彩色图片介绍客厅装修的细部设计,墙面、吊顶、隔断、楼梯等。
宝宝树育儿网主编2010 年出版255 页ISBN:9787538446876
本书的宗旨就是为养育2~3岁宝宝的年轻父母提供科学的育儿方法和育儿方法和育儿经验。从幼儿营养、生活照料、疾病保健、心理护理、智力开发等方面用通俗的语言阐述育儿方法,让孩子在身体、心理、智力全面的发...
清华大学外语系测试组编2010 年出版277 页ISBN:9787302226987
本书是从理论研究、实际运作、管理方法及政策制定等方面对清华大学英语水平考试的总结。
国家语言文字工作委员会普通话培训测试中心编制2004 年出版480 页ISBN:7100041759
本书是以《普通话水平测试实施纲要》为原稿,由简化字转为繁体。