网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（990）
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
文档格式：PPT　文档大小：414.5KB　文档页数：28
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
文档格式：PPT　文档大小：585.5KB　文档页数：21
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文档格式：PPT　文档大小：496.5KB　文档页数：40
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
文档格式：PDF　文档大小：321.69KB　文档页数：19
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
文档格式：PDF　文档大小：134.38KB　文档页数：15
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
文档格式：PDF　文档大小：509.77KB　文档页数：14
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
文档格式：PDF　文档大小：510.71KB　文档页数：12
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
文档格式：PDF　文档大小：306.75KB　文档页数：15
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
文档格式：PDF　文档大小：363.48KB　文档页数：53
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
文档格式：PDF　文档大小：180.29KB　文档页数：10
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
首页上页7576777879808182下页末页
热门关键字
简明无机化学应激传染小波襄樊职业技术学院卫生天然药物化学数词生物动态学社会观上海财经大学取代期货旅游心理学旅游文化与旅游美学旅游经济与管理拉伸压缩开普勒第二定律集成制造技术函数空间]复变函数/积分变换多媒体技术及应用毒素电梯传感产权操纵材料力学补体编译北京大学]保健JAVA程序设计DSMAX动画D《音乐教育学》12《刑法学总论》《食品化学》《零售学》
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有