网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
综合搜索课件包文库（509）
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文档格式：PPT　文档大小：352KB　文档页数：40
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
文档格式：PPT　文档大小：731KB　文档页数：28
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
《计算机科学》相关教学资源（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
首页上页345678910下页末页
热门关键字
中国教育史网络互联设备天线电路生植物生理学生存方式钦州学院桥墩计算模拟电路基础金陵学院济宁学院技术分析光伏原理飞机电器大学新视野matlab与科学计算1632微机原理SAS统计分析scp分析ServertxtVBA编程VFP程序设计VFP程序设计基础VFP及应用基础VHDL语言与应用VI设计！web数据库Windows操作系统案例法学巴东文字学班组管理版图设计半导体电子包络包装北方工业大学北京大学出版社北京大学复变函数北京服装学院北京科技大学
搜索一下，找到相关课件或文库资源 509 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有