张爱新相关电子书下载

张爱新，李建华著2010 年出版214 页ISBN：9787111297260

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

（清）爱新觉罗·敦敏，（清）爱新觉罗·敦诚撰1984 年出版445 页ISBN：10186·466

李敬平主编；张爱优，雷永立副主编；张爱优，王悦，张岌秋，何海燕，罗亚鸿，郑庆胜编著2008 年出版311 页ISBN：7811204292

（清）爱新觉罗·弘历著2013 年出版1010 页ISBN：7300151823

（清）爱新觉罗·弘历著2013 年出版839 页ISBN：7300151823

（清）爱新觉罗·弘历著2013 年出版869 页ISBN：7300151823

（清）爱新觉罗·弘历著2013 年出版984 页ISBN：7300151823

（清）爱新觉罗·弘历著2013 年出版887 页ISBN：7300151823

爱新觉罗·毓鋆讲述2019 年出版0 页ISBN：

爱新觉罗·毓鋆讲述；陈絅整理2019 年出版582 页ISBN：9787551148122