可信软件基础研究 【工业技术】

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...

小牛顿实验王 力的应用 【数理化】

小牛顿实验王，从生物秘密、生活物理、生活化学、气候变化等领域，向同学们展示了好玩的科学实验，动手操作性强，配有144个视频一起跟你玩实验，对难以开展的实验通过视频演示让大家能够get到！本书为《力的应用》分册...

中国经济的转型升级 新结构经济学方法与应用 【其他书籍】

软件方法 业务建模和需求 上 第2版 【工业技术】

本书从“利润＝需求－设计”开始，用市场经济的思想讲解软件开发中需求和设计的道理，以及统一建模语言UML 在需求和设计中的应用。

Fermat小定理及其应用 【数理化】

本书共分7章，以剩余类与完全剩余系为基础，分别介绍了欧拉定理及其应用、费马小定理及其应用，以及威尔逊定理及其应用， 并且详细介绍了原根与指数的相关内容，最后两章还给出了与数学竞赛相关的问题、习题解答及提...

物流园区规划设计与运营 理论、方法及实践 【工业技术】

本书基于物流园区转型升级和高质量发展新要求,从全生命周期视角,对物流园区形成发展、规划设计、运营管理等理论方法进行探讨,并通过大量案例阐述在业务实践中的应用。本书内容包括:物流园区的内涵、形成动...

建筑废弃物资源化利用新工艺及产业化 【环境安全】

介绍了建筑废弃物资源化利用项目提出的背景，研究的依据，单位概况，建设的背景及必要性，市场分析，产品方案和工业技术方案节能及环境指标分析，环境效益分析及项目运营期的环保措施，职业安全卫生健康及消防，组织......

文学的传统与嬗变 中国现当代文学现象及研究新论 【文学】

本书稿为“广州大学?青年博士学术文库”之一。作者龙其林，广州大学人文学院教授。本书稿挑选了中国现当代文学发展历程中不太为人们瞩目实则颇具内涵的现象、作家、作品进行思想解读和艺术分析，进而把脉这些...

操作系统原理及Linux内核分析 第2版 【工业技术】

本书主要介绍操作系统的核心功能：操作系统接口、进程管理、存储管理、文件管理、设备管理的主要思想及设计原理。围绕这五大模块以Linux为例分析操作系统的核心代码的实现方法、技术以及操作系统各个功能部...

金属塑性成型CAE技术 DYNAFORM及DEFORM 【工业技术】

本书为读者学习金属塑性成型CAE技术快速入门提供了良好的平台。本书共分10章，板料成型CAE技术主要包括DYNAFORM软件的主要特色和模块，DYNAFORM软件的基本操作，模面工程和坯料排样技术，盒形件拉深成型过程分析、...