本书是众多资深工程师多年经验与智慧的结晶，有总结，有点评，有提高，能实践，可以迅速指导项目实战，提升个人与团队技能，提高正在研发的软件产品质量！本书根据软件测试工程师核心工作与技能要求分成三篇进行讲解。第一篇： 寻找软件缺陷（Find Bug）技术篇第二篇： 测试用例设计（Test Case Design）技术篇第三篇： 测试工具使用（Test Tool Usage）技术篇本书适合想从事软件测试行业或已经进入软件测试行业，但不懂如何实践，不知道软件测试工程师日常工作及所需要的技术或技巧的人，书中展示的各种技术，能满足软件测试日常工作所需。纵使有多年工作经验的软件测试工程师，也能在本书中找到灵感与共鸣，提高自身的测试技能与开拓测试视野。本书同样适用于软件开发工程师，软件项目管理师，系统架构师研发高质量软件时的参考。同时也适用于高校计算机及软件工程各专业作为软件实践教材，方便引导大学生深入理解软件开发与软件测试，进入软件开发或软件测试领域。

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

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

暂缺简介...

本书是面向编程零基础读者的Python入门教程，内容涵盖了Python的基础知识和初步应用。以比较轻快的风格，向零基础的学习者介绍一门时下比较流行、并且用途比较广泛的编程语言，所以，本书读起来不晦涩，并且在其中穿插了很多貌似与Python编程无关，但与学习者未来程序员职业生涯有关的内容。本书特别强调了学习和使用Python的基本方法，学习一种高级语言，掌握其各种规则是必要的，但学会“自省”方法更重要，这也是本书所试图达到的“授人以鱼不如授人以渔”的目的。本书是面向初学者的读物，不是为开发者提供的开发手册，所以，它不是“又适用于中高级读者”的读物。

在需要使用高品质数字模型的工业领域，ICEM Surf是重要的曲面设计工具之一，在许多行业，尤其是汽车设计领域应用尤为广泛。《曲面魔术师 ICEM Surf软件学习指南》以ICEM Surf4．11软件为基础，全面细致地向读者讲解了ICEM Surf背景知识、学习方法和各种工具的使用。全书分为10章，主要内容包括ICEM Surf软件介绍、学习三维设计工具的方法、系统要求、系统界面、基本操作、曲线和曲面的定义及应用、曲面编辑、曲面和曲线分析、构建和测量数据的处理、数据交换等相关概念和操作。全书图文并茂，讲解深入浅出、贴近工作实际，把众多专业技术和软件知识点有机地融合到每章的具体内容中，可供从事汽车、消费品等对外观曲面要求较高行业的有关专业技术人员参考，也可以作为三维数字模型制作爱好者及学生的学习参考资料，供其在学习和工作中查阅。

本书由资深的互联网产品经理撰写。本书共12章，内容紧紧围绕“产品经理求职”展开。本书从产品经理介绍讲起，系统讲述了产品简历准备、产品求职作品准备、各大互联网介绍、产品牛人职业访谈、产品笔面试技巧和攻略、笔试/群面/专业面/Boss面/HR面的70道历年真题详细分析和解答等内容，具有高度的针对性。同时邀请4位百度、腾讯等知名互联网公司的产品总监对每个面试题目进行点评和分析，为读者提供专业的、权威的、实践性的指导。

软件工程学是一门理论性和实践性都很强的学科，它采用工程化的概念、理论、技术和方法来指导开发与维护计算机软件。本书系统、全面地介绍了现代软件工程技术，在软件工程的概念、原理、方法及其应用等方面有较详尽的论述，具有较强的系统性和可读性。本书较为详细地介绍了软件生存周期、传统软件工程、软件工程过程、面向对象软件工程和软件体系结构等的思想和实现方法，力图反映软件工程领域的新发展，内容包括：软件和软件工程、软件过程、需求工程、设计的概念、体系结构设计、构件级设计、用户界面设计、基于模式的设计、WebApp设计、软件质量管理、软件测试、软件配置管理、软件项目管理和软件维护与再工程。本书可作为高等院校“软件工程”课程的教材和教学参考书，也可供有一定实践经验的软件开发人员和管理人员参考，或作为继续教育的教材。

本书是系统学习和运用Creo 2.0软件的简明指南教程。全书共6章，内容包括第1章，Creo 2.0导入第2章，二维草图的绘制；第3章，零件设计；第4章，曲面设计；第5章，装配设计；第6章，创建工程图等。本书可作为机械工程设计人员的Creo 2.0完全自学教程和参考书籍，也可供大专院校机械专业师生教学参考。

高德宝、野金花、张彩霞主编的《数学软件及应用》是基于*新版本的MATLAB 2014A、LING012和 IBM SPSS 20．0编写的，全书分为三篇，总计十八章，由浅入深地介绍了这三个软件的基础入门和部分功能应用。**章到第五章介绍了如何利用MATIAB软件绘制图形、程序设计和计算应用高等数学问题等；第七章至第十一章讲解了如何利用LINGO软件求解各种运筹学模型；第十二章至第十八章描述了SPSS的一些统计分析功能，例如相关分析、均值比较、方差分析和聚类分析等。本书可作为高等院校的应用数学、信息与计算科学、金融数学或统计学专业的数学软件教材或参考书，也可作为其他非数学专业师生的参考资料。