高等学校教材·软件工程 软件测试案例与实践教程

本书以案例的形式指导读者如何完成系统测试的所有工作。

综合管廊工程理论与实践

本书主要介绍了综合管廊工程规划、设计、施工的原则，综合管廊内容纳的管线的种类及敷设要求，综合管廊主体工程、消防工程、通风系统、给排水工程、监控系统、配电系统的技术标准等内容。另外，通过上海世博会综...

软件逆向工程原理与实践

本书强调软件逆向工程基本原理和常见技术工具的应用方法，以主流的硬件架构和操作系统为背景，介绍常见的软件逆向工程方法，主要内容包括：软件逆向工程概述、X86与X64体系结构、ARM体系结构、PE文件格式、DLL注入...

凝析气藏循环注气开发动态分析方法与实践

本书是在塔里木牙哈凝析气田开发多年动态分析基础上完善而成。共九个章节，绪论、相态基础、牙哈基本地质特征、回注气运动规律与气窜动态、高温高压凝析气井井底压力计算、循环注气凝析气井产能分析、循环注...

多核与GPU编程 工具、方法及实践

本书从并行软件的实现、调试、优化和剖析四个方面，详细讨论了当前主要的并行计算关键技术，主要内容包括：多核和并行程序设计、共享内存编程中的线程与OpenMP、分布式内存编程、GPU编程、Thrust模板库、负载均...

乡村规划 乡村规划特征及其教学方法与2014年度同济大学教学实践

本书既是对乡村规划设计教学的总结，也是对乡村规划设计教学方法的初步探索。主要讲述了从乡村规划特征及其教学方法以及2014年度同济大学教学实践，包括：乡村规划教学方式的经验小姐、关于乡村规划教学的思考、...

节能系统管理模式与方法研究

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

项目管理与实践

本书从系统集成基础、网络集成、数据集成、应用集成和集成技术等5个方面来介绍系统集成知识，从项目管理的概念和项目管理的9大知识领域出发来介绍IT项目管理知识，分15章和一个关于应用项目管理软件Project的...

高等学校教材 工程实践与训练教程 机械部分 实训报告

本书主要用于培训大学工科类各专业学生的实际操作能力。