三峡库区滑坡预测理论与方法 【工业技术】

本书针对三峡库区滑坡防治所必须解决的库区水位变化下滑坡稳定性预测与科学评价问题，通过现场观测、实验分析、理论研究和数值模拟计算等方法，开展水库水位变化对滑坡稳定性影响研究、三峡库区滑坡预测预报理...

城市有机更新的行政管理方法与实践 【工业技术】

行政学视角的城市有机更新研究是有关城市更新理论研究的新视角，具有理论价值和现实意义。将行政学引入建筑学研究的传统领域，重新梳理城市更新问题的背景、演变，对城市更新理论是一种补充和创新；该研究为政府创...

机械监测诊断中的理论与方法 屈梁生论文集 【工业技术】

本书收集屈梁生院士已发表的论文162篇，内容涉及机械监测诊断理论与方法中的相关内容。

图解室内设计入门与方法 【工业技术】

本书通过大量“图解”形式，全面系统地讲授室内设计的基础理论，着重讲述设计入门方法、步骤，并努力跟上变化着的潮流和新技术。全书共分八章，包括绪论，现代室内设计流派和风格流行倾向，室内设计尺度，室内设计步......

图像处理与分析：变分，PDE，小波及随机方法 【工业技术】

图像处理是一个新兴的重要研究领域，在应用数学和计算机科学中占有重要的地位。该书内容非常全面，包括了很多国际上最新的科研成果，可供从事该领域学习和研究的学生和科研人员阅读参考。...

建筑工程中合理化建议与创造发明 生产陶制品的先进方法 【工业技术】

软件工程形式化方法与语言 【工业技术】

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

建筑工程计量与计价实训教程 甘肃版 【工业技术】

本书主要包括建筑工程量计算和工程量清单计价两个部分。详细介绍了如何从清单与定额的角度进行分析，确定算什么、如何算的问题；讲解了如何应用广联达土建算量软件完成工程量的计算，以及如何完成工程量清单计价...

21世纪高等学校规划教材计算机科学与技术 C语言程序设计 理论、方法与实践 【工业技术】

JAVA并发编程 核心方法与框架 【工业技术】

本书主要介绍非常核心并常用的技术点，比如解决高并发环境下的线程间同步问题，可以使用Semaphore，CountDownLatch，CyclicBarrier以及Phaser类来解决，还要掌握线程池ThreadPoolExecutor的使用，还有线程池结合计划任...