科学计算文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：3.77MB　文档页数：7

《计算机科学COMPUTER SCIENCE》：基于人口统计学的改进聚类模型协同过滤算法（王媛媛、李翔）

文档格式：PPT　文档大小：1.11MB　文档页数：83

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第5章数据库系统与信息系统

文档格式：PPT　文档大小：585.5KB　文档页数：21

《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads

文档格式：PPT　文档大小：496.5KB　文档页数：40

《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning

文档格式：PDF　文档大小：321.69KB　文档页数：19

《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）

文档格式：PDF　文档大小：134.38KB　文档页数：15

《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning

文档格式：PDF　文档大小：509.77KB　文档页数：14

《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations

文档格式：PDF　文档大小：510.71KB　文档页数：12

《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points

文档格式：PDF　文档大小：306.75KB　文档页数：15

《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

文档格式：PDF　文档大小：363.48KB　文档页数：53

《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations