田园著2008 年出版314 页ISBN:9787121066580
本书阐述计算机密码方案与密码协议的安全性证明理论,包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域,作者并不打算对此做面面俱到式...
贾立政主编2007 年出版301 页ISBN:780208556X
本书是一本论文集,内容包括:寻求时期改革的动力、解读幸福指数,求证幸福方程、大国之路与中国选择等方面。如基层民主,奠定和谐社会政治基石、服务型政府的几种理论观点、...
黄锦成,沈捷主编2012 年出版215 页ISBN:9787030337474
本书全面地介绍内燃机排放污染控制技术,包括最新排放控制理论与技术发展和成果的教材。系统地阐述排放污染物的危害、生成机理和影响因素,深入分析了汽油机和柴油机的排放污染物及其控制、汽油机和柴油机后处...