崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
土地供给政策参与宏观调控的理论与实证研究 基于风险控制的视角
杨志荣著2009 年出版141 页ISBN：9787564702038
本书包括：绪论、国内外研究进展、土地供给与宏观经济的相互影响及其参与调控的风险分析、风险控制视角下土地供给政策参与宏观调控的理论分析、土地供给政策参与宏观调控的实证研究：Ⅰ：风险控制视角下的总量政...
张小鸣编著2014 年出版369 页ISBN：9787302352990
本书从MCS-51单片机集成开发环境、51单片机汇编语言与C51编程语言、单片机最常用的接口技术等方面出发，系统介绍了单片机应用系统的设计方法和基本接口电路。本书可作为高等院校电子信息类本科专业的单片机...
雷鸣著2012 年出版339 页ISBN：9787514102031
本书从管理的角度出发，以管理信息系统开发和管理为主线，结合当前信息技术和信息系统发展的状况，从管理信息系统的开发原理、管理信息系统开发过程的管理及管理信息系统使用的管理三方面来介绍。在系统而详细地...
曹汉平，王强，贾素玲编著2006 年出版410 页ISBN：7302124299
本书主要内容包括信息系统和IT项目管理的工具、知识体系、治理与组织建设、论证与可行性研究、需求分析与管理、计划管理、成本管理、质量管理、测试管理、配置管理、维护管理、文档管理、风险管理、沟通管...
金树林，孙绍乾，李全云主编2006 年出版610 页ISBN：7501173850
本书介绍了监理工作实施方案、实施办法等。
