编写可读代码的艺术 【工业技术】

本书旨在帮助你把代码写得更好，即如何写出具有高可读性的代码。每一章都会深入到编程的一个不同的方面来讨论如何让它“更容易理解”。本书的关键思想是代码应该写得容易理解，最小化别人理解你的代码所花的时...

电力系统中的可再生能源 【工业技术】

本书主要介绍了可再生能源发电及并网的基础知识，介绍了可再生能源的特点及其不稳定性对应用的影响，同时介绍了可再生能源在并网前必须进行的调控过程。可再生能源的经济性会影响其商业应用，书中对此也进行了论...

混合物分离 可分离和不可分离的东西 彩印 【工业技术】

本书列举了大量生活中的现像和试验讲解物质的特性，纯物质与混合物，如何分离固体混合物，利用过滤与蒸发，利用沸点，利用溶解度，利用密度差异，分离颜色的方法，生活中的混合物分离。...

创新学生公寓 可持续设计的新方向 【工业技术】

本书根据现代社会所面临的挑战，提出了创新和可持续的建筑理念。书中详细介绍了学生公寓不同特点，包括灵活性、综合性、可持续性和活力。从不同的方向对建筑特色和设计进行了阐述。书中图片精美，技术图丰富，理论...

HOK可持续设计指南 【工业技术】

本书首先提供了设计概要，说明可持续设计的目标设定、经济性和具体步骤，接下来的设计指南包含了一系列有关核查表和工程行动的设计指导信息，随后的实例分析选择了类型广泛的HOK新建及改造项目，最后附有详细的术...

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

上海世博会可持续规划设计 英文版 【工业技术】

本书结合作者五年工作实践，总结世博会园区规划中在可持续设计方面的实验与探索，在既有建筑利用、生态要素模拟、可持续规划设计方法，以及生态项目落实过程中的控制管理体系和建设实践等方面，进行了系统论述。...

可重构片上系统的系统级设计 【工业技术】

本书论述系统级可编程SOCs可以解决SOCs遇到的一些问题。本书主要针对可编程SOCs进行说明，并且对系统在实际中的应用，有一定指导价值。对于高端设计流程，主要采用了基于C++语言的Systemc以及OCAPI-XL等两种方法...

第三届中国城市住宅研讨会论文集 可持续环境 城市住居质素 【工业技术】

可再生能源供热理论与实践 【工业技术】

本书深入介绍了风能、太阳能、地热能、生物质能等可再生能源供热的资源条件、技术原理、分类、发展趋势及国内外相关工程案例。探讨了可再生能源直接供热、转化为电能后通过电热效应供热及热泵供热等多种供...