崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
冯冲等编著2004 年出版373 页ISBN：7115119643
本书全面论述了软件体系结构的基本概念和主要方法，并结合实践介绍了软件体系结构在各种软件系统开发中的应用。本书着重讨论软件体系结构描述语言、描述方法，软件体系结构风格，软件体系结构的设计、分析和验证...
汪遐昌编著2005 年出版228 页ISBN：7810883674
本书一方面讲清楚运筹学诸分支的数学模型、基本概念、基本理论、计算方法；同时提供相应的计算机软件，重点放在用计算机处理运筹学的方法。本书对于一切运用运筹学知识的人都是适用的，这包括一切管理人员、企业...
王春光，孙兆霞，曾芸等著2014 年出版311 页ISBN：9787509761434
本书以武陵山区（贵州）为研究对象，进行深度的实地调查，总结当地的扶贫开发经验和教训，从理论上深入分析社会建设与扶贫开发的内在关系。并基于对当前我国扶贫开发所处的新阶段、武陵山区面临的新问题以及扶贫开发...
王吉文著2010 年出版298 页ISBN：9787562037767
本书主要介绍外国判决承认与执行概述、影响外国判决承认与执行国际合作的现实障碍、外国判决承认与执行的严格双重公约模式、外国判决承认与执行的单一公约模式、外国判决承认与执行的混合双重公约模式、外...
叶永昌，苏志尧主编2008 年出版259 页ISBN：9787503853722
本专著共分为总论、森林植被及土壤、自然保护与森林重建、林分改造，以及森林生态建设模式及效益评价5个部分。内容全面，思想新颖，议题深入，质量较高。研究的成果有助于明确东莞市的森林植被现状，提出林分改造的....
苏怀川编著2016 年出版392 页ISBN：9787546416199
本书是为适应市场经济的需要和现代企业制度的要求，为小微企业健康成长助力，运用现代企业管理的理论，在总结设计者长期理论研究和实践经验的基础上，根据各类企业成长的过程、目前的状况和未来发展的需要而专门编...
黄娜恩主编2015 年出版267 页ISBN：9787503461866
本书是教育部思想政治工作司组织出版的《高校德育成果文库》之一。以学生为主体，构建“目标生活化、内容生活化、资源生活化、过程生活化、评价生活化”的生活德育模式的理论探索和实践应用。该书主要分为七...
李季著2018 年出版234 页ISBN：9787112223671
本书内容从特色小镇的概念定义出发，在综合分析国内外特色小镇的一般特点之后，分门别类对中国特色小镇进行了研究，从政策、经济模式和运营等方面进行了一定的总结，并结合具体案例进行了全面深入分析，力求展现目前...
