网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（6097）
计算机科学与技术教学资源（参考文献）Inverse updating and downdating for weighted linear least squares using M-invariant reflections
文档格式：PDF　文档大小：363.91KB　文档页数：15
计算机科学与技术教学资源（参考文献）Inverse updating and downdating for weighted linear least squares using M-invariant reflections
计算机科学与技术教学资源（参考文献）The generalized Cholesky factorization method for saddle point problems
文档格式：PDF　文档大小：221.73KB　文档页数：10
计算机科学与技术教学资源（参考文献）The generalized Cholesky factorization method for saddle point problems
《计算机科学》相关教学资源（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
《计算机科学》相关教学资源（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
《计算机科学》相关教学资源（参考文献）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
首页上页6869707172737475下页末页
热门关键字
技术讲座工业会计焦作大学数学经济郑州大学泰山医学院地质]中国电影数字化界面设计教育学建筑原理高等数学地质大陆大豆“机械原理”妆职业学院有机化学图像重建天线原理天气分析1天气分析天津中德职业技术学院天津科技大学高程问题腐蚀研究方法电器原理点阵成本管理“模拟电子技术”]“道路勘测设计web技术与应用c程序设计PPT]Pro/E模具设计a《电机学》《电路》《医用物理学》
搜索一下，找到相关课件或文库资源 6097 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有