网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(901)
上海交通大学:《程序设计思想与方法》课程教学资源_往年试卷_CT2012-A卷-final 2_参考答案
文档格式:DOC 文档大小:52KB 文档页数:7
上海交通大学:《程序设计思想与方法》课程教学资源_往年试卷_CT2012-A卷-final 2_参考答案
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-python-programming
文档格式:PDF 文档大小:32.54MB 文档页数:532
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-python-programming
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-2002版-PythonProgrammingBook
文档格式:PDF 文档大小:1.2MB 文档页数:261
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-2002版-PythonProgrammingBook
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时嵌入式软件设计(控制系统,DARTS,EA,语言)
文档格式:PDF 文档大小:1.89MB 文档页数:62
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时嵌入式软件设计(控制系统,DARTS,EA,语言)
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)设计验证与需求确认(嵌入式系统的属性与验证)
文档格式:PDF 文档大小:1.21MB 文档页数:44
• 形式化设计方法和过程 • 系统描述方法:基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑:LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性?
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式系统形式化规范与建模(FSM,KPN,SDF)
文档格式:PDF 文档大小:2.76MB 文档页数:70
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式系统形式化规范与建模(FSM,KPN,SDF)
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式操作系统(uC、OSII)
文档格式:PDF 文档大小:4.85MB 文档页数:125
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式操作系统(uC、OSII)
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时调度(多处理器、调度异常、WCET)
文档格式:PDF 文档大小:1.07MB 文档页数:37
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时调度(多处理器、调度异常、WCET)
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_HowToThink-Python
文档格式:PDF 文档大小:999.93KB 文档页数:280
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_HowToThink-Python
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第一版)05 RTE设计方法之CBD与MBD
文档格式:PDF 文档大小:3.22MB 文档页数:80
• Complexity Challenge – CBD:分治,结构 – MBD:抽象,方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL
首页
上页
82
83
84
85
86
87
88
89
下页
末页
热门关键字
ppt
天线原理
人口原理]
谱学
湖北医药学院
创意与设计
程序
成本案例分析
C程序设计
A
组织经济学
知识分析
液动与电气
西北大学]
外国文学史
通信原理]
三相
平面设计
流体控制系统
机场运营管理
汉字字体设计
工作分析]
干果
概率统计与随机过程
分子]
东北财经大学
电容器
电路学]
德育原理
白求恩医科大学
八下数学
PS
br
c
C/C
PCB板设计
proe设计
PS应用基础
Python第二版
SDH原理
搜索一下,找到相关课件或文库资源
901
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有