可信软件与开发方法 【工业技术】

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

企业资源计划（ERP）原理与沙盘模拟 基于中小企业与ITMC软件 【经济】

本教材立足于服务中小企业，尤其是电子商务型企业，本着行业与专业对接的原则，分别设置ERP概念与基本原理介绍、企业经营管理分析模块 、中小企业战略模块、线上网络店铺经营模块、线下第三方物流企业经营模块、...

流行病学数据分析与易侕统计软件实现 易侕数据分析师考级初级教程 【其他书籍】

SIMATIC S7-1500与TIA博途软件使用指南 【工业技术】

本书深入浅出地介绍了在TIA博途V13 SP1环境下如何组态和使用SIMATIC S7-1500的PROFINET/PROFIBUS通信、编程、Web服务器、PID控制、轨迹追踪等功能，不但适合新手的快速入门，而且可供具有STEP 7 V5.X和SIMATIC...

实验语音学的基本原理与praat软件操作 【语言文字】

全书旨在介绍实验语音学的基本原理，并在此基础上，讲解用praat软件如何操作相关的实验内容。全书共分9章，具体是：第一章为“语音学的生理学基础”，第二章“语音学的声学基础”，第三章“国际音标简介”，第四章“pra....

三维云GIS MAPGIS 10软件平台开发原理与实践 【天文地球】

本书分为四个部分：第一部分为基础理论，通过平台二次开发体系、平台亮点与特色、数据管理与组织这几个方面，让读者从宏观上认识MapGIS 10三维云GIS软件平台；第二部分为开发流程，详细说明在云端模式下的三维GIS开...

风险管理计算与分析 软件实现 【经济】

全书系统地讲解了风险管理计算与建模原理，并安排了大量的实例，详实地介绍了风险管理计算与建模的软件实现。全书分为三个部分。第1~4章为第一部分，主要介绍风险管理计算与建模的一般原理，包括波动率的计算、损...

Android软件应用与实践 【工业技术】

本书的内容包括Android简介、Android开发快速入门、Android用户界面开发、Android应用程序之间的消息与广播、Android数据存储、Android图形图像及综合案例开发——移动管理系统大学图书管理系统，以实例、实...

大学计算机软件应用基础 多媒体技术与应用 【工业技术】

本书以计算机软件应用为本，着重于学生应用能力的培养。全书共分为8章，主要内容有多媒体技术概论、数字图像处理、数字音频处理、数字视频处理、动画处理、超本文和网页技术、多媒体网络技术、多媒体应用系统...

数学建模 【数理化】