网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（990）
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
文档格式：PDF　文档大小：509.77KB　文档页数：14
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源：Quest for Artificial Intelligence（人工智能探秘）
文档格式：PDF　文档大小：16.95MB　文档页数：28
《计算机科学》相关教学资源：Quest for Artificial Intelligence（人工智能探秘）
首页上页2930313233343536下页末页
热门关键字
孝感学院十进制调节器装饰施工管理装饰中国经济指示剂直流直觉张中华噪声云南冶金高等专科学校有机反应相平衡西安科技大学西安建筑科技大学水泥生物物理生产者设施全站仪摸拟电子技术卢先河胶体建筑保温基本元件呼吸性河北大学广播关联分析粉末二通阀电子期刊电子电力大学P-方法WORD产品加工波谱ppt
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有