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

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

民间文化批评的理论与方法 【历史地理】

《民间文化批评的理论与方法》系国家社科基金后期资助项目，该研究从理论建构和批评实践的构想出发，将专著分为一个导论和上下两编，共计七章。全书综合运用民俗学、人类学、社会学、心理学和生命美学等学科理论...

建筑结构振动台模型试验方法与技术 第2版 【工业技术】

本书较系统地阐述了建筑结构振动台模型试验的方法与技术。内容包括建筑结构振动台试验相似关系、建筑结构振动台试验模型材料、抗震结构振动台试验模型设计、隔震及减震结构振动台试验模型设计、建筑结构振...

北美典型页岩油气藏开发模式及工艺技术 【工业技术】

典型化学品生产 【工业技术】

全书含绪论和7个单元章：绪论，第一单元硫酸工业产品生产，第二单元合成氨，第三单元典型氨加工产品的生产，第四单元磷酸及磷酸盐产品的生产，第五单元磷肥工业典型化工产品生产及三废处理，第六单元纯碱与烧碱的生......

高等学校计算机规划教材 数据结构与算法 【工业技术】

本教材包含绪论、线性表、栈和队列、串、数组和广义表、树和二叉树、图、查找、排序等九章。以C语言程序代码描述算法，全部程序调试通过。附录中包含全部习题答案。提供源程序下载、电子课件下载和考试软件...

计算机组成与系统结构习题解答和教学指导 第2版 【工业技术】

主要介绍计算机组成与系统结构涉及的相关概念、理论和技术内容，主要包括指令集体系结构、数据的表示和存储、以及实现指令集体系结构的计算机各部件的内部工作原理、组成结构及其相互连接关系。...

计算机组成原理实验与学习指导 【工业技术】

本书的主要内容包括计算机组成原理实验的各个方面。分析和讲解各功能部件的组成及运行原理，教授如何设计新指令，展示高级语言的解析过程。本书以项目为主线，在阐述实验原理的基础上，详细描述了各个实验的具体过...

法官如何思考 刑事审判思维与方法 【政治法律】

本书收录了作者在十余年审判工作中所发表的主要作品，涉及刑事审判中的疑难问题、疑难案件、审判方法和办案理念等多方面内容，并附录了反映作者对刑事审判和法官职业思考的相关材料，共43篇。所涉及案件均是作者...

矿业典型案例评析 【政治法律】

申本书按照矿产资源开发的理论体系，分别从矿产资源勘查、矿产资源开采、矿业权流转、矿业购销、矿业侵权、矿业行政及其他共六个方面精选了40个实例，并做了深入的介绍和剖析。每一案例由【案情】、【审判】和...