点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:788KB 文档页数:58
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第4章 计算机网络与通信
文档格式:PPT 文档大小:175.5KB 文档页数:57
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第3章 计算机软件糸统
文档格式:PDF 文档大小:4.62MB 文档页数:61
《计算机科学》相关教学资源(参考文献)Sampling up to the Uniqueness Threshold
文档格式:PDF 文档大小:7.98MB 文档页数:38
《计算机科学》相关教学资源(参考文献)Decay of Correlation in Spin Systems
文档格式:PDF 文档大小:490.02KB 文档页数:15
《计算机科学》相关教学资源(参考文献)A Program Logic for Concurrent Objects under Fair Scheduling
文档格式:PDF 文档大小:510.71KB 文档页数:12
《计算机科学》相关教学资源(参考文献)Modular Verification of Linearizability with Non-Fixed Linearization Points
文档格式:PPT 文档大小:496.5KB 文档页数:40
《计算机科学》相关教学资源(PPT课件讲稿)On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文档格式: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
首页上页3637383940414243下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有