林兹的作品

形式语言与自动机导论

林兹

评分 8.4分

本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并

阴极保护手册

［德］W.v.贝克曼W.施文克W.普林兹

评分 暂无

德国W.v.贝克曼《阴极保护手册》（第3版）是电化学保护理论与实践的经典著作。其内容涵盖了阴极保护理论及其所有应用领域，主要有腐蚀防护发展史、腐蚀电化学、电气测量原理与实践、防腐层应用、牺牲阳极、强制电流电源和阳极、阳极地床和干拢等基础理论；在阴极保护实践中重点介绍了埋地管道、舰船、码头及海洋构筑物、埋地电缆、大型储罐、容器与管道内壁等领域，对阴极保护的安全和技术经济进行论证；对于高压感应影响、静