网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（990）
《计算机科学》相关教学资源（参考文献）Approximate Counting via Correlation Decay on Planar Graphs
文档格式：PDF　文档大小：10.61MB　文档页数：15
《计算机科学》相关教学资源（参考文献）Approximate Counting via Correlation Decay on Planar Graphs
《计算机科学》相关教学资源（参考文献）Approximate Counting via Correlation Decay in Spin Systems
文档格式：PDF　文档大小：1.72MB　文档页数：30
《计算机科学》相关教学资源（参考文献）Approximate Counting via Correlation Decay in Spin Systems
《计算机科学》相关教学资源（参考文献）Spatial Mixing of Coloring Random Graphs
文档格式：PDF　文档大小：2.77MB　文档页数：20
《计算机科学》相关教学资源（参考文献）Spatial Mixing of Coloring Random Graphs
《计算机科学》相关教学资源（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
首页上页2829303132333435下页末页
热门关键字
自动化系统幼儿保健性健康教育学刑法案例分析信号与系统物流包装能源与动力学能量分析功能材料设计高级数据库原理电机及应用催化反应城市生态环境z域分析ＶＢ程序设计]SCIENCEMatlablikeMFCMilena Angel 资源下载N位DOffice高级应用PdfPDF教材PharmacologyPLC，单片机PLC控制系统pro/e实体设计RLC传感器SPSS应用SPSS与数据统计分析SQL数据库及应用UNIX操作系统设计VB编程基础VC网络编程VHDL语言及应用VIsual.FoxPro应用VOCABULARYweb课程Web应用基础
搜索一下，找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有