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

文档格式：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

文档格式：PDF　文档大小：13.12MB　文档页数：28

《计算机科学》相关教学资源：The Magical Wild Animals（神奇的动物）

文档格式：PDF　文档大小：16.95MB　文档页数：28

《计算机科学》相关教学资源：Quest for Artificial Intelligence（人工智能探秘）

文档格式：PPT　文档大小：175.5KB　文档页数：57

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