网络协议的形式化分析与设计 【工业技术】

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

软件需求-基于统一过程的实践方法 影印版 【工业技术】

本书主要讨论了用于建立有效需求的系统的、易于应用的方法学，并详细阐释了需求的本质。本书的作者重点介绍了在整个需求生存周期中所会遇到的各种实际问题以及相应的解决方案：收集、分析、规范、验证以及维护...

面向对象的分析与设计 【工业技术】

面向对象是目前最通用的软件设计和编程方法。本书是用基于面向对象的概念讨论软件设计的方法，帮助读都理解什么是面向对象的分析以及如何利用UML v1.4进行设计。此外，本书还为那些已经在从事应用程序开发的程...

建构活动区的设计与应用 【文化科学教育体育】

本书分别讲述了6个问题：1.认识积木；2.探讨实际环境对幼儿行为和学习能力的影响，并且就如何布置建构游戏活动区，提出实用的图解范例及建议；3.说明老师在建构游戏活动区所应扮演的角色；4.着眼于以积木主观或延伸真...

制度设计与变迁：从马克思到中国的市场取向改革 【政治法律】

本书阐述了从马克思的科学社会主义理论到中国特色社会主义的发展历程，指出了制度设计、自然发展与制度变迁之间的互动关系。

青少年生物和环境科普活动的设计与开发 【文化科学教育体育】

本书介绍青少年生物和环境科普活动方案的设计原则和方法。并剖析了数十个优秀青少年科普活动，用实例具体说明了科普活动的组织实施方法，以及参与各级评审应该注意的问题。...

中华人民共和国国家标准 工业自动化系统 企业参考体系结构与方法论的需求 GB/T18757-2002 【其他书籍】

高等教育质量研究 基于利益关系人的分析 【文化科学教育体育】

高等教育教学活动、科学研究活动以及社会服务活动质量的形成、发展以及表现结果是本书研究的重点。论文重点讨论了高等教育系统中主要利益人——政府、工商界、学者以及学习者的质量观的产生、发展及其分歧...

中华人民共和国国家标准 远动设备和系统 第6-702部分 与ISO标准和ITU-T建议兼容的远动协议 在端系统中提供TASE.2应用服务的功能协议子集 GB/T18700.3-2002/IE 【其他书籍】

域外观念与本土政制变迁 20世纪二三十年代中国知识界的政制设计与参政 【政治法律】

本书探讨了中国二三十年代民国知识界的政体与政治参与。