网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（990）
《设计模式》教学资源（讲稿）第10章 适配器模式
文档格式：PDF　文档大小：3.59MB　文档页数：35
《设计模式》教学资源（讲稿）第10章 适配器模式
上海交通大学：《编译原理》教学资源_教学资料_第二周讲义_Lexical Analyzer
文档格式：PDF　文档大小：188.64KB　文档页数：46
上海交通大学：《编译原理》教学资源_教学资料_第二周讲义_Lexical Analyzer
《计算机科学》相关教学资源（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课件讲稿）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课件讲稿）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
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
文档格式：PDF　文档大小：509.77KB　文档页数：14
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
首页上页8586878889909192下页末页
热门关键字
微积分等“概率论与数理统计”宗教美学中枢制造系统自动化技术宜春学院全蝎桥梁加固排球(1)股票操作学工程管理专业英语多媒体应用大学物理（一）NURBSOFOracle数据库PHP]PVT关系Python程序设计Schrodinger方程TEACHERUI（用户界面）设计VB]Verilog数字系统设计Y爱情学安徽三联学院安全经济学安全事故氨基酸奥蓝系统苏州科技大学学生版百色学院半导体传感器半导体电子]半透膜蚌埠医学院包]保护保护法“电工电子技术”
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有