固体表面分子组装 《固体表面分子组装》,作者:万立骏著 出版社:科学出版社 ISBN:9787030404169。本书介绍固体表面分子吸附组装的基础知识、研究方法，以及利用扫描隧道显微技术研究组装结构和过程的实例，强调组装体系的结构形成和变化、组装体系的功能等，并探讨相关组装体系的组装规律。 壹号书单 2014年05月01日 0 点赞 0 评论 37 浏览
形式化框架下置换和查找类算法的组装生成 《形式化框架下置换和查找类算法的组装生成》,作者:石海鹤 著 出版社:科学出版社 ISBN:9787030522139。 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR， 壹号书单 2017年05月01日 0 点赞 0 评论 27 浏览
