点击切换搜索课件文库搜索结果(1147)
文档格式:PDF 文档大小:6.64MB 文档页数:88
《计算机科学》相关教学资源(参考文献)Spatial mixing and the connective constant - Optimal bounds
文档格式:PDF 文档大小:2.79MB 文档页数:25
《计算机科学》相关教学资源(参考文献)Simple average-case lower bounds for approximate near-neighbor from isoperimetric inequalities
文档格式:PDF 文档大小:8.45MB 文档页数:39
《计算机科学》相关教学资源(参考文献)Counting hypergraph matchings up to uniqueness threshold
文档格式:PDF 文档大小:4.62MB 文档页数:60
《计算机科学》相关教学资源(参考文献)Convergence of MCMC and Loopy BP in the Tree Uniqueness Region for the Hard-Core Model
文档格式:PDF 文档大小:3.38MB 文档页数:28
《计算机科学》相关教学资源(参考文献)What can be sampled locally?
文档格式: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
首页上页3233343536373839下页末页
热门关键字
搜索一下,找到相关课件或文库资源 1147 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有