国家治理体制现代化 税收法定、预算法修改与预算法定

本书为“当代中国经济学人·韦森作品系列”中的一本。本书作者韦森教授，作为议政专家，参与了2011年由国务院发起的新《预算法》修订的草案政府征求意见稿的审阅，以及提出意见、建议的全过程，期间不断发表文章，呼...

“十二五”国家重点图书 水体污染控制与治理科技 饮用水深度处理技术

本书为“十二五”国家重点图书水体污染控制与治理科技重大专项研究成果之一。研究选择根据不同地区的特点，选择长江流域、黄河流域、珠江流域开展饮用水深度处理应用技术研究，重点针对臭氧—活性炭工艺的设计...

网际安全技术构架 基于标识鉴别的可信系统 英文版

本书讨论了未来“网际安全”的关键技术——基于标识鉴别的可信系统，也讨论了与此相关的自证性公钥体制、信任逻辑，以及信任逻辑在可信接入、可信计算、可信交易、可信物流。网络管理中的应用，以及在互联网和物...

可信软件与开发方法

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...

普通高等教育“十五”国家级规划教材 数字电子技术基础

本书为“十五国家级规划教材”。以“理论和实践紧密结合，培养学生能力”作为编写的主要出发点。主要内容分为4篇：数字电路基础（概述、常用数制和编码、基本逻辑关系和分立元件门电路、逻辑代数基础），基本功能电....

需求驱动的可信软件过程

全书包含七章，第一章讨论可信软件提出的背景，学术界与工业界对可信软件和可信软件需求的定义，软件过程概念及软件过程与可信软件的关系。基于第一章的基本介绍，剩余章节按其内容分为三个部分：第二章和第三章组成...

中华人民共和国国家标准 缩微摄影技术字母数字计算机输出缩微品 质量控制 第2部分：方法 GB/T17294.2-1998

中东欧研究系列 中东欧国家竞争法研究 以波兰、捷克和匈牙利为例

本书共分为六个部分。前三个部分分别对波兰、捷克和匈牙利这三个典型的中东欧国家的竞争法予以介绍，特别是对其竞争法律文本、实施情况和实施绩效予以分析；第四部分对中国竞争法的文本及其实施予以分析和评价...

寻找公共行政的“点金石” 西方国家中央政府部际协调的实践与启示

随着社会的发展，公共服务管理复杂性的增长使得政府职能日趋扩张，政府结构的横向专门化、精细化分工给政府内部的横向协调带来了巨大的压力。面对这个压力，中西方国家的中央政府都采取了各种旨在加强政府内部横...

“民族”想象与国家统制 1928-1948年南京政府的文艺政策及文学运动

本书通过对1928～1948年间文学运动和文艺政策的研究，揭示出了以往不为人关注的两者之间的互动关系，整理出一条新的文学史的发展线索。如：文学是怎样表现“国家”、“民族”这样一些现代概念的？它给读者提供了什么...