uppaal-4.1.13

相 关 资 源

• 回形数组 1 2 3 4 12 13 14 5 11 16 15 6 10 9 8 7免费下载

  资源简介：回形数组 1 2 3 4 12 13 14 5 11 16 15 6 10 9 8 7

  标签： 12 11 10 13

  上传时间： 2013-12-30

  上传用户：hakim

• 1） 随机产生四个1-13的数免费下载

  资源简介：1） 随机产生四个1-13的数，分别代表13张牌。 2） 提示玩家输入算式。 3） 判断玩家输入的表达式是否合法，其中算式中的四个数字只能是程序所给的四个数字，非法则回到1）。 4） 如果玩家认为这四张牌算不出24点（如：1，1，1，1），可只输入？，程序将...

  标签： 13 随机

  上传时间： 2014-01-18

  上传用户：er1219

• ADPCM 4:1 coder and decoder免费下载

  资源简介：ADPCM 4:1 coder and decoder

  标签： decoder ADPCM coder and

  上传时间： 2015-01-13

  上传用户：com1com2

• 1. 总则 4 1.1. 概述 4 1.2. 卖方的建议书要求 5 1.3. 报价要求 6 2. 总体要求 7 2.1. 项目目标 7 2.2. 功能要求 7 2.3. 性能要求 7 免费下载

  资源简介：1. 总则 4 1.1. 概述 4 1.2. 卖方的建议书要求 5 1.3. 报价要求 6 2. 总体要求 7 2.1. 项目目标 7 2.2. 功能要求 7 2.3. 性能要求 7 2.4. 组网要求 7 2.5. 管理要求 8 2.6. 安全要求 8 3. 技术规范 9 3.1. 电子地图应用实现 9 3.1.1. 电子地图查...

  标签： 报价 性能 项目

  上传时间： 2013-12-20

  上传用户：cx111111

• 计算器 2.1. 设计内容 2.2. 设计要求 2.3. 总体设计 2.4. 具体设计 2.4.1. 运行效果与程序发布 2.4.2. 主类 ComputerPad 2.4.3. 数值按免费下载

  资源简介：计算器 2.1. 设计内容 2.2. 设计要求 2.3. 总体设计 2.4. 具体设计 2.4.1. 运行效果与程序发布 2.4.2. 主类 ComputerPad 2.4.3. 数值按钮NumberButton 2.4.4. 运算符号按钮OperationButton

  标签： ComputerPad 计算器 程序 发布

  上传时间： 2013-12-26

  上传用户：teddysha

• iReport-0.4.1-src是iReport的源代码,iReport是一个开源的报表项目,可以生成PDF等格式报表免费下载

  资源简介：iReport-0.4.1-src是iReport的源代码,iReport是一个开源的报表项目,可以生成PDF等格式报表

  标签： iReport src 报表

  上传时间： 2014-06-17

  上传用户：zukfu

• delphi７企业人力资源管理系统 目 录 1、绪论 4 1.1 选题背景 4 1.2 本系统所采用的技术 5 2、系统分析 6 2.1 系统框架及功能模块 6 2.2 系统流程 7 免费下载

  资源简介：delphi７企业人力资源管理系统 目 录 1、绪论 4 1.1 选题背景 4 1.2 本系统所采用的技术 5 2、系统分析 6 2.1 系统框架及功能模块 6 2.2 系统流程 7 2.3 系统的功能模块分析 8 2.3.1机构编制管理 8 2.3.2职员信息管理模块 9 2.3.3薪资福利管理模块...

  标签： delphi 1.1 1.2 2.1

  上传时间： 2014-01-27

  上传用户：zsjinju

• GM(1,1)模型1-4 1：GM(1,1)模拟模型免费下载

  资源简介：GM(1,1)模型1-4 1：GM(1,1)模拟模型，在matlab中的输入方法为gm1（x），x指要模拟的序列。 2：GM(1,1)预测模型，在matlab中的输入方法为gm2（x，K），x指要模拟的序列，K指从以后序列第一个数据算起的第k个待预测数据。 3：GM(1,1)群模拟模型，在matlab中...

  标签： GM 模型 模拟

  上传时间： 2013-11-29

  上传用户：jackgao

• OA系统office在线编辑控件4[1].0免费下载

  资源简介：OA系统office在线编辑控件4[1].0

  标签： office OA系统 编辑 控件

  上传时间： 2014-01-13

  上传用户：远远ssad

• LPC2131开发板第4章－LPC2131功能部件4.1－GPIO3．GPIO输出实验－流水灯实验GPIO_Leds8.rar免费下载

  资源简介：LPC2131开发板\第4章－LPC2131功能部件\4.1－GPIO\3．GPIO输出实验－流水灯实验\GPIO_Leds8.rar

  标签： 2131 LPC GPIO_Leds GPIO3

  上传时间： 2015-12-03

  上传用户：busterman

• 摘 要 1 前 言 2 正 文 4 1. 采用类C语言定义相关的数据类型 4 2. 各模块的伪码算法 5 3. 函数的调用关系图 7 4. 调试分析 8 5. 测试结果 9 6. 源程免费下载

  资源简介：摘 要 1 前 言 2 正 文 4 1. 采用类C语言定义相关的数据类型 4 2. 各模块的伪码算法 5 3. 函数的调用关系图 7 4. 调试分析 8 5. 测试结果 9 6. 源程序（带注释） 10 总结 29 参考文献 30 致谢 31 摘 要 哈夫曼编码(Huffman Coding)是一种...

  标签： 正 C语言 定义 伪码

  上传时间： 2013-12-19

  上传用户：kristycreasy

• 1.4.1 个人桌面 1.4.2 信息中心 1.4.3 人事机构 1.4.4 考勤管理 1.4.5 工作计划 1.4.6 公文流转 1.4.7 会议管理 1.4.8 审批登记 1.4.免费下载

  资源简介：1.4.1 个人桌面 1.4.2 信息中心 1.4.3 人事机构 1.4.4 考勤管理 1.4.5 工作计划 1.4.6 公文流转 1.4.7 会议管理 1.4.8 审批登记 1.4.9 用款管理 1.4.10 报销管理 1.4.11 办公用品 1.4.12 车辆管理 1.4.13 资料管理 1.4.14 文档管理 1.4.15 资产...

  标签： 信息中心 机构

  上传时间： 2013-12-17

  上传用户：xinzhch

• 《精通AJAX》光盘 要求： JDK1.4.2 以上版本 数据库采用MySQL 4.1.4 以上版本 服务器采用Tomcat 5 以上版本 开发工具采用Eclipse 3.0 免费下载

  资源简介：《精通AJAX》光盘 要求： JDK1.4.2 以上版本 数据库采用MySQL 4.1.4 以上版本 服务器采用Tomcat 5 以上版本 开发工具采用Eclipse 3.0 第13章

  标签： Eclipse Tomcat MySQL AJAX

  上传时间： 2014-01-16

  上传用户：a3318966

• 《精通AJAX》光盘 要求： JDK1.4.2 以上版本 数据库采用MySQL 4.1.4 以上版本 服务器采用Tomcat 5 以上版本 开发工具采用Eclipse 3.0 免费下载

  资源简介：《精通AJAX》光盘 要求： JDK1.4.2 以上版本 数据库采用MySQL 4.1.4 以上版本 服务器采用Tomcat 5 以上版本 开发工具采用Eclipse 3.0 第15章 Ajax技术实现无刷新即可浏览RSS新闻的阅 读器

  标签： Eclipse Tomcat MySQL AJAX

  上传时间： 2014-08-13

  上传用户：ryb

• 由Visual C++ 4.1开发的一个ISAPI应用免费下载

  资源简介：由Visual C++ 4.1开发的一个ISAPI应用，它使用了同步对象（CCriticalSection）来保护线程请求的数据

  标签： Visual ISAPI 4.1

  上传时间： 2014-01-27

  上传用户：lifangyuan12

• （2）、24点游戏： 基本要求及步骤： 1） 随机产生四个1-13的数免费下载

  资源简介：（2）、24点游戏： 基本要求及步骤： 1） 随机产生四个1-13的数，分别代表13张牌。 2） 提示玩家输入算式。 3） 判断玩家输入的表达式是否合法，其中算式中的四个数字只能是程序所给的四个数字，非法则回到1）。 4） 如果玩家认为这四张牌算不出24点...

  标签： 13 随机

  上传时间： 2017-03-24

  上传用户：chens000

• NUnit-2.4.1-net-2.0.rar NUnit 测试用例详细的步骤免费下载

  资源简介：NUnit-2.4.1-net-2.0.rar NUnit 测试用例详细的步骤

  标签： NUnit net 测试

  上传时间： 2014-01-13

  上传用户：zjf3110

• 4.1 基于MODELSIM的功能仿真免费下载

  资源简介：4.1 基于MODELSIM的功能仿真。

  标签： MODELSIM 4.1 功能仿真

  上传时间： 2013-11-02

  上传用户：hakim

• Cantor 表问题： 问题描述： 把分子和分母均小于108 的分数按下面的办法排成一个数表。 1/1 1/2 1/3 1/4 1/5 ... 2/1 2/2 2/3 2/4 2/5 ... 3/1免费下载

  资源简介：Cantor 表问题： 问题描述： 把分子和分母均小于108 的分数按下面的办法排成一个数表。 1/1 1/2 1/3 1/4 1/5 ... 2/1 2/2 2/3 2/4 2/5 ... 3/1 3/2 3/3 3/4 3/5 ... 4/1 4/2 4/3 4/4 4/5 ... 5/1 5/2 5/3 5/4 5/5 ... ... ... 我们以Z 方形方法给上表的每项编...

  标签： Cantor 108 分子 分

  上传时间： 2015-02-14

  上传用户：hasan2015

• 线程通信 本 文 我 们 将 在VC++4.1 环 境 下 介 绍 一 个 父 进 程 和 其 子 进 程 的 通 信 实 例。 在 父 进 程Parent 窗 口 中 按 一 下 鼠 标 左 键免费下载

  资源简介：线程通信 本 文 我 们 将 在VC++4.1 环 境 下 介 绍 一 个 父 进 程 和 其 子 进 程 的 通 信 实 例。 在 父 进 程Parent 窗 口 中 按 一 下 鼠 标 左 键， 就 会 产 生 一 个Pipe 和 启 动 子 进 程Child， 并 从Pipe 一 端 发 送 信 息， 同 时Child 启 动 ...

  标签： Parent 4.1 VC 线程

  上传时间： 2015-02-26

  上传用户：hopy

• jfs-2.4-1.1.7.tar.gz jfs 2.4－1.1.7 源码免费下载

  资源简介：jfs-2.4-1.1.7.tar.gz jfs 2.4－1.1.7 源码， 赶紧下载啊

  标签： jfs 2.4 tar gz

  上传时间： 2015-03-14

  上传用户：youth25

• jfs-2.4-1.1.6-to-1.1.7.patch.gz jfs 源码的补丁源码免费下载

  资源简介：jfs-2.4-1.1.6-to-1.1.7.patch.gz jfs 源码的补丁源码

  标签： jfs patch 2.4 源码

  上传时间： 2013-12-18

  上传用户：bjgaofei

• J2EE开发平台的搭建, 这里以 apache-2.0.47+tomcat-4.1.27+Axis-1.1+jboss-3.2.6+Eclipse+SQLServer2000+hibernate 组合免费下载

  资源简介：J2EE开发平台的搭建, 这里以 apache-2.0.47+tomcat-4.1.27+Axis-1.1+jboss-3.2.6+Eclipse+SQLServer2000+hibernate 组合为例进行说明 但实际上将 Eclipse改为:JBuilder或把SQLServer2000换为其他的数据库也并非难事。 有了这个环境，我们就可以得心应手地在其...

  标签： SQLServer hibernate Eclipse apache

  上传时间： 2013-12-09

  上传用户：gut1234567

• MyTC 5.4.1　原名TC for Windows免费下载

  资源简介：MyTC 5.4.1　原名TC for Windows，带编译、错误分析，还有TC学习、源码。免安装绿色版，不依赖于具体机器，适合复制到移动存储器（如U盘）上随身携带！取消了注册限制

  标签： Windows MyTC for

  上传时间： 2013-12-01

  上传用户：1051290259

• 操作系统SunOS 4.1.3版本的源码免费下载

  资源简介：操作系统SunOS 4.1.3版本的源码，大家看看吧

  标签： SunOS 操作系统 版本 源码

  上传时间： 2015-04-03

  上传用户：康郎

• 程序：JSP+Beans+文本留言簿 调试环境：Apache Tomcat/4.1.18+j2sdk1.4.0_01 开发工具：EditPlus 作者：Redhat 版本:1.0 1.0新增免费下载

  资源简介：程序：JSP+Beans+文本留言簿 调试环境：Apache Tomcat/4.1.18+j2sdk1.4.0_01 开发工具：EditPlus 作者：Redhat 版本:1.0 1.0新增功能: 1 支持JUBB(类似UBB) 2 留言数据的合法性检测,如EMAIL,主页地址 3 支持繁体字符的输入 4 出错页面美化

  标签： 1.0 EditPlus Apache Tomcat

  上传时间： 2015-04-11

  上传用户：凤临西北

• 第4章－μCOS-II中间件 4.1－数据队列 4.2－串口驱动 4.3－MODEM接口模块 4.4－I2C总线模块 4.5－SPI总线模块 4.6－ZLGFS文件系统免费下载

  资源简介：第4章－μCOS-II中间件 4.1－数据队列 4.2－串口驱动 4.3－MODEM接口模块 4.4－I2C总线模块 4.5－SPI总线模块 4.6－ZLGFS文件系统

  标签： COS-II MODEM ZLGFS 4.1

  上传时间： 2014-01-10

  上传用户：dongqiangqiang

• 稀疏矩阵运算器实习报告,与严蔚敏老师主编的数据结构与算法一书实习4.1相对应免费下载

  资源简介：稀疏矩阵运算器实习报告,与严蔚敏老师主编的数据结构与算法一书实习4.1相对应

  标签： 4.1 稀疏 矩阵 实习报告

  上传时间： 2013-12-14

  上传用户：小码农lz

• c++builder5.0编程实例： 第4章 数据库编程： 4.1一个简单的数据库应用示例程序 4.2一个数据库组合条件查询程序 4.3一个web网站主页数据库维护程序免费下载

  资源简介：c++builder5.0编程实例： 第4章 数据库编程： 4.1一个简单的数据库应用示例程序 4.2一个数据库组合条件查询程序 4.3一个web网站主页数据库维护程序

  标签： builder 数据库 程序 5.0

  上传时间： 2015-04-29

  上传用户：weiwolkt

• ShareInternet源代码,是用红旗4.1的Gambas开发的,如果没有安装Gambas的话免费下载

  资源简介：ShareInternet源代码,是用红旗4.1的Gambas开发的,如果没有安装Gambas的话，直接用文本编辑器也可以查看代码。

  标签： Gambas ShareInternet 4.1 源代码

  上传时间： 2014-01-25

  上传用户：thesk123