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

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

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

文档格式：PDF　文档大小：180.29KB　文档页数：10

《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs

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

《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling

文档格式：PDF　文档大小：1.25MB　文档页数：21

《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels

文档格式：PDF　文档大小：1MB　文档页数：31

《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods

文档格式：PDF　文档大小：371.36KB　文档页数：9

《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining

文档格式：PDF　文档大小：7.98MB　文档页数：38

《计算机科学》相关教学资源（参考文献）Decay of Correlation in Spin Systems

文档格式：PDF　文档大小：5.19MB　文档页数：29

《计算机科学》相关教学资源（参考文献）Counting with Bounded Treewidth

文档格式：PPT　文档大小：386KB　文档页数：35

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第2章计算机硬件系统

文档格式：PPT　文档大小：125.5KB　文档页数：32

一、培养目标二、培养计划三、如何学习计算科学专业四、理解科学与培养科学素养五、使自己与环境和协统一