网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（651）
《计算机科学》相关教学资源（参考文献）Improved FPTAS for Multi-Spin Systems
文档格式：PDF　文档大小：3.61MB　文档页数：38
《计算机科学》相关教学资源（参考文献）Improved FPTAS for Multi-Spin Systems
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
文档格式：PDF　文档大小：306.75KB　文档页数：15
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
文档格式：PPT　文档大小：731KB　文档页数：28
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文档格式：PPT　文档大小：352KB　文档页数：40
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
文档格式：PPT　文档大小：414.5KB　文档页数：28
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
文档格式：PPT　文档大小：585.5KB　文档页数：21
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文档格式：PPT　文档大小：496.5KB　文档页数：40
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
文档格式：PDF　文档大小：321.69KB　文档页数：19
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
文档格式：PDF　文档大小：134.38KB　文档页数：15
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
人工智能相关文献资料：Adaptivity and Non-stationarity - Problem-dependent Dynamic Regret for Online Convex Optimization
文档格式：PDF　文档大小：1.15MB　文档页数：52
人工智能相关文献资料：Adaptivity and Non-stationarity - Problem-dependent Dynamic Regret for Online Convex Optimization
首页上页345678910下页末页
热门关键字
北京科技职业学院郑州经贸职业学院山西兴华职业学院制药工程与原理造纸原理]随机分析流体机械原理控制灯电路电机]汽包水压农业统计内科流动电势辽宁商贸职业学院控制电路结构静力分析混合体系分离黄淮学院怀化学院化工应用湖南民族职业学院湖北警官学院功率电子技术工程地质学基础高等代数腐蚀工程学福建江夏学院法律技术与原理电路电磁]城市化成本利润分析产科学薄膜的制备与分析本量利分析北京汇佳职业学院北海职业学院《材料成型原理》《食品分析》澳门大学
搜索一下，找到相关课件或文库资源 651 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有