网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（990）
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling
文档格式：PDF　文档大小：490.02KB　文档页数：15
《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling
《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels
文档格式：PDF　文档大小：1.25MB　文档页数：21
《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels
《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods
文档格式：PDF　文档大小：1MB　文档页数：31
《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods
首页上页8687888990919293下页末页
热门关键字
税收管理与理论税法会计第一章糖类化合物空间模型第一方程第四章字体设计纸样设计职业发展宜春学院叶片机原理延安大学悬架设计谐振电路湘南学院糖的代谢设计师频域分析空气动力凯里学院解静电场教育过程家居空间管理信息系统课程设计管理信息系统饭店艺术设计第一外国语第十章第+4+章导游管理eda技术及应用安装工程c程序设计C语言课程设计Ｃ语言上机C语言设计]DSP控制原理DSP理论与应用澳门大学
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有