古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
曹飞飞，赵永发，吴绪铎编著2012 年出版776 页ISBN：9787115277954
本书以开发人员在编程中遇到的实际问题和开发中应该掌握的技术为中心，全面介绍运用Visual C++进行程序开发的最常用最使用的案例和技巧。
丛书编委会编著2002 年出版332 页ISBN：7508311256
本书是全国专业技术人员计算机应用能力考试的考前辅导读物，根据用友财务软件考试科目的考试大纲编写。本书全面讲解了用友财务软件的使用方法和技巧，并把该软件应掌握的知识要点分布在200道试题中。全书共分...
李彤等著2003 年出版184 页ISBN：7030120078
本书是与《多媒体技术与应用》一书配套使用的辅助教材。本书借鉴了制造业并行工程的思想，将其引入到计算机软件工程中，以软件开发过程中的并行性为研究对象，通过尽量使软件开发并行进行，来达到提高软件生产率的...
《纪检监察工作常用法规实用全书》编写组编2014 年出版1408 页ISBN：9787511864574
本书以纪检监察工作中常用的党纪、政纪法规规范为主要内容，涵盖了实体法、程序法以及各细分类别（廉洁自律、公款旅游、清理小金库以及常用的其他类别等）的主要内容。本书按照纪检监察机关工作性质分类，体系清晰...
叶苗群编著2015 年出版248 页ISBN：9787302390053
基于案例及实际应用为主线，把办公软件高级应用和计算机多媒体知识和有机地融入到实际应用中，并结合日常办公软件应用的典型案例进行讲解，举一反三，有助于学生提高办公软件高级应用水平，从而提高工作效率，也有助.....
木木树文化编2016 年出版39 页ISBN：9787504225443
这是玩具王国里玩具宝贝们的一些列生活故事，他们也有喜怒哀乐，也有求知好学的欲望，也有自尊心，他们在享受着每个孩子应有的快乐童年。故事以小熊满满一家的故事为线索，源于中国国情和历史文化背景下的生活中常见...
国家法官学院案例开发研究中心编2016 年出版263 页ISBN：9787509371602
《中国法院2016年度案例·道路交通纠纷》为2016年度案例系列的其中一个分册。1．权威的作者：国家法官学院案例开发研究中心持续20年编辑了享誉海内外的《中国审判案例要览》丛书，自2012年起推出《中国法院年度...
张娇，郭媛媛主编2014 年出版104 页ISBN：9787538185058
本书选用优秀的精品家庭装修设计效果图,每本书按照空间分类。全套书分为：客厅电视背景墙、客厅沙发背景墙、餐厅·卧室、门厅·客厅、天花·地面共五册。每册按照现代简约、现代前卫、简约欧式、低调奢华、...
郭媛媛，张娇主编2014 年出版104 页ISBN：9787538185089
本书选用优秀的精品家庭装修设计效果图,每本书按照空间分类。全套书分为：客厅电视背景墙、客厅沙发背景墙、餐厅·卧室、门厅·客厅、天花·地面共五册。每册按照现代简约、现代前卫、简约欧式、低调奢华、...
