原创力文档- 1
- 0
- 约49.26万字
- 发布于广东
- 举报
- 文档已下架，其它文档更精彩
ETHLibrary
AdvancesintheSymbolic
VerificationofCryptographic
Protocols
DoctoralThesis
Author(s):
Giampietro,Sofia
Publicationdate:
2026
Permanentlink:
//10.3929/ethz-c-000800448
Rights/license:
InCopyright-Non-CommercialUsePermitted
ThispagewasgeneratedautomaticallyupondownloadfromtheETHZurichResearchCollection.
Formoreinformation,pleaseconsulttheTermsofuse.
您可能关注的文档
- EPFL -两栖机器人的自适应与抗扰动运动 借鉴鱼类与两栖动物开展研究 Adaptive and Resilient Locomotion in Amphibious Robots Investigating and Learning from Fishes and Amphibians.pdf
- EPFL -神经网络中的均衡表征学习研究 On Balanced Representation Learning in Neural Networks.pdf
- epfl -通过串联催化剂和反应器热化学 CO2 加氢制乙烯、乙炔和高级烃 Thermochemical CO2 Hydrogenation to Ethylene, Acetylene and Higher Hydrocarbons Through Tandem Catalysts and Reactors.pdf
- epfl -稳定板水平集的均匀尺寸结果 Uniform dimension results of level-sets of stable sheets.pdf
- epfl -氙气动态核极化：从自旋动力学到体内应用 Xenon Dynamic Nuclear Polarization from Spin Dynamics to In-Vivo Applications.pdf
- EPRS -农业与食品愿景的未来展望 Future-proofing the vision for agriculture and food.pdf
- escap-电网在能源转型中的作用 The role of grids in energy transitions.pdf
- escap-东南亚国家联盟（东盟）2025 年数字和可持续贸易便利化 Digital and sustainable trade facilitation in the Association of Southeast Asian Nations (ASEAN) 2025.pdf
- escap-官方统计领域的大数据 数据基础设施与数据治理的战略思考及相关建议 Big data for official statistics strategic considerations and recommendations on data infrastructure and governance.pdf
- escap-国家及跨境无纸化贸易协同实施指南 A guide on concurrent implementation of national and cross-border paperless trade.pdf
- 飞机电缆压接接头 标准立项发展报告.docx
- 高压开关设备和控制设备——第321部分：信息交换用产品数据和属性——目录数据 标准立项发展报告.docx
- 电气电子产品和系统碳足迹、温室气体减排及避免排放的量化和沟通——原则、方法、要求和指南 标准立项发展报告.docx
- 电子电气产品中特定物质的测定 第3-1部分：X射线荧光光谱法筛选铅、汞、镉、总铬、总溴、总磷、总氯、总锡和总锑含量 标准立项发展报告.docx
- 动态压力测量方法 标准立项发展报告.docx
- 分布式电源并网技术要求 标准立项发展报告.docx
- 电气绝缘用聚合物材料直流电压耐久性评定 标准立项发展报告.docx
- 高超声速风洞流场品质要求 第1部分：常规高超声速风洞 标准立项发展报告.docx
- 电信设备环境条件分类 气候防护场所固定使用 标准立项发展报告.docx
- 飞行器模型气动光学效应风洞试验方法 标准立项发展报告.docx
最近下载
- 《人工智能通识基础》全套教学课件.pptx
- 生物化学精品教学（河南科技大学）011试卷.pdf VIP
- 贵州省纪委监委公开遴选公务员笔试试题及答案解析.docx VIP
- 贵州省纪委监委公开遴选公务员笔试试题及答案解析.docx VIP
- 货币银行学（第四版）戴国强 第13-23章.ppt VIP
- 货币银行学（第四版）戴国强 第1-12章.ppt VIP
- 2025年贵州省纪委遴选笔试试题及答案.docx VIP
- 江麓QTP100塔吊说明书.pdf
- 初中英语_Unit 10 You are supposed to shake hands教学设计学情分析教材分析课后反思.doc
- 羽毛球教学教案（最全）.doc
文档评论（0）