点击切换搜索课件文库搜索结果(6097)
文档格式:PDF 文档大小:510.71KB 文档页数:12
《计算机科学》相关教学资源(参考文献)Modular Verification of Linearizability with Non-Fixed Linearization Points
文档格式:DOC 文档大小:147KB 文档页数:52
温州医科大学:临床医学专业《内科学》课程教学资源(练习资料,人卫九版,含答案)
文档格式: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
文档格式:PDF 文档大小:180.29KB 文档页数:10
《计算机科学》相关教学资源(参考文献)Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
文档格式: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
首页上页6970717273747576下页末页
热门关键字
搜索一下,找到相关课件或文库资源 6097 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有