本书为青少年机器人创新教育课程教材，以乐高机器人套件为教具，主要围绕机械结构展开，给孩子最初的科学创新启蒙教育。主要内容包括认识机器人、奇妙的结构、机器人与结构、跷跷板、一起钓鱼、神奇的天平、秤、重力传送带、滑梯与小车、极速传动、看谁跑得快、加速风车、迷你起重机、小小龙门吊、风力磨坊，全书共15 课。本书适用于小学（6~12 岁）机器人创新教育，也适用于社会上机器人创新教育培训机构选用，更可以作为广大家长朋友在家给孩子进行创新教育的指导用书。

暂缺简介...

暂缺简介...

暂缺简介...

本书是作者已出版的《软件是这样“炼”成的——从软件需求分析到软件架构设计》的延续，同样用投核保系统为本书唯一的、连贯性的案例全程记录软件过程改进过程。从文字组织到书的结构设计方面，既不是以理论为主调的“学院派”，也不是以应用介绍为主调的“应用派”，而是采用情景对话、场景在线、自然语言的方式，详细介绍企业软件过程改进活动，记录了投核保系统软件开发过程管理（软件需求分析与架构设计部分内容）。本书介绍软件开发过程管理中应用的理论知识以及这些知识的应用，同时分析这些理论知识的应用场景，然后以投核保系统为案例将软件开发过程中各个阶段的成果完整地展现给读者。本书由软件过程改进、软件过程管理和软件测试过程管理三篇组成，可以让读者全局了解企业软件开发过程，适合从事软件开发的软件项目经理、系统分析师、架构师、程序员、测试人员和质量管理人员等阅读，也适合计算机相关专业毕业生在就业之前了解企业软件开发的真实过程，同时也可以作为大学计算机软件专业项目实训参考教材。

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。全书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，除介绍演绎证明方法外，着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例，每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材，同时可供相关领域的研究人员和技术开发人员参考。

《学校体育场馆资源失衡与非均衡管理》是从当前我国学校体育发展失衡的大背景出发，立足于均衡发展理论，对学校体育场馆资源失衡发展问题进行深入研究，力求为今后解决学校体育失衡发展问题提供一定的理论和实践指导，进而实现学校体育的均衡公平发展。全书分为五部分，第一部分为“绪论”，主要介绍研究背景和发展趋势。第二部分为“我国学校体育场馆资源与配置”，对学校体育场馆资源的相关概念、学校体育场馆资源的来源和学校体育场馆资源失衡进行了总体阐述。第三部分为“学校体育场馆资源的失衡与竞技化”，对各类学校体育场馆资源占有失衡问题进行描述的基础上，系统地分析了不同类型学校体育场馆资源失衡的表现、特征、原因、影响以及竞技化特征。第四部分为“学校体育场馆资源的非均衡管理”，针对当前我国学校体育场馆资源占有失衡的现状，构建了针对性的体育场馆资源非均衡管理模式，旨在促进学校体育场馆资源的均衡发展。第五部分为“学校体育场馆资源非均衡管理模式评价指标体系的构建”，其研究的主要目的是为学校体育场馆资源占有情况与发展模式的评定构建一种衡量标准，做到科学合理地对不同学校体育场馆资源的占有情况进行定性和定量评估，以选择科学、全面、可行的发展模式。

暂缺简介...

本书的全部内容是分享作者设计游戏的经验和方法。首先从游戏的定义出发，谈论对游戏的认知理解，然后逐步展开讨论游戏的设计，最终落实到游戏设计的执行上。全面多层次地探讨游戏设计相关的话题，试图确立一种游戏的价值观和设计理念，把游戏行业置于更宏观的娱乐行业范畴内探讨游戏设计。

《软件测试技术与实践教程》较为全面、系统地介绍了当前测试领域的理论和实践知识，共分5个部分，包含15章内容，介绍了软件测试概述、软件测试的数学基础、软件测试过程、白盒测试、黑盒测试、单元测试、集成测试等。《软件测试技术与实践教程》可作为高等院校相关专业软件测试课程的教材或教学参考书，也可作为从事计算机应用开发的软件项目经理和需要了解软件测试的各类管理人员的参考书。