田园著2008 年出版314 页ISBN：9787121066580
本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...
云南省城乡规划设计研究院主编；昆明紫葳科技有限公司参编2011 年出版19 页ISBN：9787548202851
本书由云南省住房和城乡建设厅批准，由云南省工程建设标准设计研究院组织，根据云南省的实际建筑情况，并严格执行国家最新标准，吸收借鉴国内外成熟的烟气道设计优点编写而成。经过省内专家审核修订，旨在提高云南省...
陈国建，吴长贵，陈庆主编2015 年出版252 页ISBN：9787564340483
本书是20kV架空配电线路通用设计及安装的图集，全书内容共五篇，第一篇为总论，第二篇为电气部分，第三篇为混凝土电杆部分，第四篇为钢管杆部分，第五篇为低压线部分。20kV作为一种城市电网配电电压，在世界上已被公认.....
