网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（1732）
上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18
文档格式：PDF　文档大小：173.32KB　文档页数：4
上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18
上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18
文档格式：DOC　文档大小：35.5KB　文档页数：4
上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18
上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT15 并发与多线程
文档格式：PPT　文档大小：214.5KB　文档页数：12
上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT15 并发与多线程
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，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）
上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT14 Python GUI工具包：Tkinter
文档格式：PPT　文档大小：202KB　文档页数：13
上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT14 Python GUI工具包：Tkinter
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第一版）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
首页上页142143144145146147148149下页末页
热门关键字
武汉化工学院实用写作汽车电子企业运作与管理可行建筑电气基础有机管乐教学工作设计]福州大学多媒体安全动画学院电路与电子技术第２日语大数传感技术原理材料成型原理《地理》“普通动物学”GIS应用基础心理学基础数论化学定律湖南工业大学河北化工医药职业技术学院构件设计工程图高学二叉数电力工程电工与电子技术大学化学分析词法分析尺寸测控电路采集JAVA课程设计C语言设计LINUX系统管理北京邮电大学
搜索一下，找到相关课件或文库资源 1732 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有