网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
综合搜索
课件包
文库资源
综合搜索
课件包
文库(990)
《计算机科学》相关教学资源(参考文献)Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
文档格式:PDF 文档大小:363.48KB 文档页数:53
《计算机科学》相关教学资源(参考文献)Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
《计算机科学》相关教学资源(参考文献)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
《计算机科学》相关教学资源(参考文献)Progress of Concurrent Objects with Partial Methods
文档格式:PDF 文档大小:1MB 文档页数:31
《计算机科学》相关教学资源(参考文献)Progress of Concurrent Objects with Partial Methods
《计算机科学》相关教学资源(参考文献)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
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第2章 计算机硬件系统
文档格式:PPT 文档大小:386KB 文档页数:35
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第2章 计算机硬件系统
清华大学:《计算科学导论》课程教学资源(PPT课件讲稿)第六章 如何学习计算科学专业与健康成长
文档格式:PPT 文档大小:125.5KB 文档页数:32
一、培养目标 二、 培养计划 三、如何学习计算科学专业 四、理解科学与培养科学素养 五、使自己与环境和协统一
首页
上页
32
33
34
35
36
37
38
39
下页
末页
热门关键字
世界
中医心理学
中医内科
串级控制系统]
个体]
个人
东华大学]
东北电力大学
中医史
世界语
个体
个人通信
个人金融
中国政治思想
世界社会主义
世界热点问题研究
c语言程序设计]
图形处理与分析
世界遗产经营与管理
世界的本质]
世纪商务英语
实变分析
配送中心
临床中医学
辽东学院
昆明学院
环境经济
个体差异
个案
分析力学
东南大学+大学物理
东华大学
东方
东北大学]
第四章
词法分析
串级控制系统
JAVA语言与程序设计]
《数字电路》
《高有机》
搜索一下,找到相关课件或文库资源
990
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有