网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
综合搜索课件包文库（990）
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
文档格式：PDF　文档大小：510.71KB　文档页数：12
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
文档格式：PDF　文档大小：306.75KB　文档页数：15
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
文档格式：PDF　文档大小：363.48KB　文档页数：53
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
文档格式：PDF　文档大小：180.29KB　文档页数：10
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling
文档格式：PDF　文档大小：490.02KB　文档页数：15
《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling
《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels
文档格式：PDF　文档大小：1.25MB　文档页数：21
《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels
《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods
文档格式：PDF　文档大小：1MB　文档页数：31
《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods
《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining
文档格式：PDF　文档大小：371.36KB　文档页数：9
《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining
《计算机科学》相关教学资源（参考文献）Decay of Correlation in Spin Systems
文档格式：PDF　文档大小：7.98MB　文档页数：38
《计算机科学》相关教学资源（参考文献）Decay of Correlation in Spin Systems
《计算机科学》相关教学资源（参考文献）Counting with Bounded Treewidth
文档格式：PDF　文档大小：5.19MB　文档页数：29
《计算机科学》相关教学资源（参考文献）Counting with Bounded Treewidth
首页上页3738394041424344下页末页
热门关键字
兽医病理预处理医药基本知识所有的课程鲁迅美术学院国际融资管理光电分离原理与技术催化反应VFP数据库程序设计VF程序设计VLSI设计方法学Windows安全与配置Windows环境与编程wps武汉大学版WPS怎么改成PPTXP操作系统zehui yu 泸州医学院癌症生物学安东安全学原理班级管理班组管理半导体电子半导体集成电路半封闭包络]宝石加工学保护贸易]北斗地图北京师范大学新街口北京语言大学]焙烤工艺学比较政治学毕业创作毕钰璋 东南大学壁画设计编导理论编译方法编译工程
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有