网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（4689）
《计算机科学》相关教学资源（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）
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining
文档格式：PDF　文档大小：371.36KB　文档页数：9
《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining
首页上页3435363738394041下页末页
热门关键字
湖北警官学院电源技术电机学淄博职业学院浙江历史地理烟台南山学院销售管理现代饭店管理现代电力电子技术物流管理]物理中基础数学物理方法气流滤饼过滤流体机械原理汇编原理环境评价原理沟通管理法学经济分析法律基础课电子科技大学电源电桥电路电力电子技术电工]《信号电工沉积旋回与相分析电机]电荷电工技术电工2点《邓小平理论》电分析化学大学院英语C语言]测试设计测试设计]测试系统动力学
搜索一下，找到相关课件或文库资源 4689 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有