赵明伦，姜静波，孟庆海等主编；夏青忱，李丹波，李大椿等副主编；于善良，孙吉书，李大年等编1999 年出版344 页ISBN：7533124170
赵秉志等译；赵秉志等译1992 年出版302 页ISBN：730001304X
本书介绍世界上将近180个国家和地区死刑制度及其实践沿革发展情况
孟博，王德军著2016 年出版318 页ISBN：9787030508676
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
杨德军，张土乔，张科锋著2011 年出版154 页ISBN：9787308092746
为提高水资源尤其是农业用水效率，降低农作物成本，提高农药和化肥的利用率，有效地缓解过量农药和化肥进入地表或地下水体导致的环境污染问题，本文采取了理论分析、数值模拟和算例验证相结合的方法对SPAC系统土壤...
