中国分析测试协会科学技术奖发展回顾 【工业技术】

本书将1993～2014年共22届“CAIA奖”获奖成果的材料进行了整理和编辑。全书共分二章5节，第一章为中国分析测试协会、“CAIA奖”简介以及对历届“CAIA奖”情况的总结和回顾；第二章为1993～2014年获奖成果内容简介...

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

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

工业过程模型化及控制 中国自动化学会首届过程控制科学报告会论文集 1987 【工业技术】

中国科学技术史 机械卷 【工业技术】

本书是中国第一部完整的古代机械工程史。作者在大量文物考证和史料研究的基础上，对中国历代机械的发明、应用及技术发展进行了翔实的记述和全面的评价，充分反映了祖国机械工程领域的辉煌成就。本书共分十章，首...

材料科学与工程导论 第8版 【工业技术】

现代玻璃科学技术 下：特种玻璃与工艺 【工业技术】

科学与工程数值算法 Visual Basic版 【工业技术】

分离的科学与技术 【工业技术】

本书是在按照尽可能简单的思维方式去理解各种分离法的尝试过程中所产生的。书中对分离法的解释始终是贯穿了这样三个简要的观点：平衡、速度差和反应。...

最有人性的“人” 人工智能带给我们的启示 【工业技术】

本书记录了作者于2009年参加洛伯纳人工智能奖的有趣经历，用富有诗意的笔法介绍了人工智能的发展历程，从图灵测试入手，从多个方面阐述了人工智能的本质，引出了“机器是否能够替代人”这个人工智能的根本问题。...

建筑的异样性 关于现代不寻常感的探寻 【工业技术】

《建筑的异样性》（The Architectural Uncanny）这本著作融汇了文学、哲学、政治、心理学， 以及建筑学的有关素材，对异样性（uncanny）自两百年前的起源，到近现代在艺术、设计和社会领域的影响，进行了深入论述和解析。...