点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:248.68KB 文档页数:10
《计算机科学》相关教学资源(参考文献)Ranged hash functions and the price of churn
文档格式:PDF 文档大小:164.05KB 文档页数:10
《计算机科学》相关教学资源(参考文献)Fast construction of overlay networks
文档格式:PDF 文档大小:156.66KB 文档页数:17
《计算机科学》相关教学资源(参考文献)Cell-Probe Proofs
文档格式:PDF 文档大小:178.2KB 文档页数:12
《计算机科学》相关教学资源(参考文献)Cell-probe proofs and nondeterministic cell-probe complexity
文档格式:PDF 文档大小:3.61MB 文档页数:38
《计算机科学》相关教学资源(参考文献)Improved FPTAS for Multi-Spin Systems
文档格式:PPT 文档大小:352KB 文档页数:40
《计算机科学》相关教学资源(PPT课件讲稿)Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文档格式:PPT 文档大小:731KB 文档页数:28
《计算机科学》相关教学资源(PPT课件讲稿)Modular Verification of Assembly Code with Stack-Based Control Abstractions
文档格式:PPT 文档大小:414.5KB 文档页数:28
《计算机科学》相关教学资源(PPT课件讲稿)An Open Framework for Foundational Proof-Carrying Code
文档格式: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
首页上页3738394041424344下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有