关于 lawrence 的文章

这是关于 lawrence 标签的相关文章列表

《DevSecOps敏捷安全》获奖名单，速来领取

《DevSecOps敏捷安全》获奖名单，速来领取

在一文中，给大家介绍了《DevSecOps敏捷安全》一书，同时有22名同学参与了抽奖活动，感谢大家的参与。现在我们直接公布三名获奖名单：瞌睡猫2. 汪仔冰粉3. Lawrenc...

admin /新鲜讯息 /2023-03-09 /0 评论 /165 阅读

学术报告 | 1月9日形式化方式系列讲座：Automated Theorem Proving

学术报告 | 1月9日形式化方式系列讲座：Automated Theorem Proving

浙江大学网络空间安全研究中心学术讲座Lawrence PaulsonDirector of Research, University of Cambridge时间2022 年 1...

admin /新鲜讯息 /2023-01-03 /0 评论 /198 阅读

学术报告 | 1月9日形式化方法系列讲座：Automated Theorem Proving

学术报告 | 1月9日形式化方法系列讲座：Automated Theorem Proving

浙江大学网络空间安全研究中心学术讲座Lawrence PaulsonDirector of Research, University of Cambridge时间2022 年 1...

admin /新鲜讯息 /2023-01-01 /0 评论 /196 阅读