建筑的思考：设计的过程与预期洞察力

建筑的思考主要是非言语的思考，这是一种非常重要的智慧。本书对建筑师的思考过程及其决策进行了论证。通过观察过去和当今建筑师的实践活动以及建筑作品，在对设计理论的探索过程中，本书将历史学与哲学进行了整...

数字逻辑的图形方法

本书介绍了逻辑函数的分解图，逻辑函数的K图及其应用。

走向计算机时代的智慧 软件的思考方法

安全软件开发之道 构筑软件安全的本质方法

本书被誉为安全技术领域的“黄帝内经”，由安全技术大师亲力打造，畅销全球，数位安全技术专家联袂推荐。综合论述如何在软件开发整个生命周期内建立安全屏障，对于设计安全的软件给出了高屋建瓴的指南，全面翔实，深.....

从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法

高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。

设计概论 新设计理论与基础的思考方法 修订1版

密码协议分析的逻辑方法

对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...

逻辑公式的可满足性判定 方法、工具及应用

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

城市老工业区更新的评价方方法与体系 基于产业发展和环境风险的思考

柔性底层房屋的抗震性能