英文版的Formal method系统分析标准和设计。

相 关 资 源

• 英文版的Formal method系统分析标准和设计。免费下载

  资源简介：英文版的Formal method系统分析标准和设计。

  标签： Formal method 英文 系统分析

  上传时间： 2015-09-06

  上传用户：bruce

• 各类石油产品的化验分析标准和要求免费下载

  资源简介：各类石油产品的化验分析标准和要求，是国家标准

  标签： 石油 分 标准

  上传时间： 2014-01-08

  上传用户：源码3

• 各类石油产品的化验分析标准和要求免费下载

  资源简介：各类石油产品的化验分析标准和要求，是国家标准

  标签： 石油 分 标准

  上传时间： 2013-12-27

  上传用户：ryb

• 各类石油产品的化验分析标准和要求免费下载

  资源简介：各类石油产品的化验分析标准和要求，是国家标准

  标签： 石油 分 标准

  上传时间： 2014-01-12

  上传用户：xauthu

• 各类石油产品的化验分析标准和要求免费下载

  资源简介：各类石油产品的化验分析标准和要求，是国家标准

  标签： 石油 分 标准

  上传时间： 2013-12-27

  上传用户：金宜

• 英文IEC 61850《变电站通信网络和系统》标准和SCL语言的应用介绍免费下载

  资源简介：英文IEC 61850《变电站通信网络和系统》标准和SCL语言的应用介绍

  标签： 61850 IEC SCL 英文

  上传时间： 2016-05-29

  上传用户：yangbo69

• java 编写的图书管理系统源代码 密码和用户名都是123免费下载

  资源简介：java 编写的图书管理系统源代码 密码和用户名都是123

  标签： java 123 编写 图书管理

  上传时间： 2015-04-18

  上传用户：天诚24

• 图像的多尺度几何分析回顾和展望免费下载

  资源简介：图像的多尺度几何分析回顾和展望，这是比较新的论文，希望大家喜欢

  标签： 图像 几何 分 多尺度

  上传时间： 2014-01-17

  上传用户：asdfasdfd

• 本文介绍了药品进销存管理系统的开发过程。论文详尽论述了从需求分析、系统分析、概要设计、详细设计、以及测试与调试的整个开发过程免费下载

  资源简介：本文介绍了药品进销存管理系统的开发过程。论文详尽论述了从需求分析、系统分析、概要设计、详细设计、以及测试与调试的整个开发过程，遵循软件工程的方法。 文章中所论述的管理信息系统，是一个将业务处理从纯人工操作转换成人工与计算机共同处理的一个实例...

  标签： 过程 进销 管理系统 分

  上传时间： 2015-10-23

  上传用户：天涯

• 嵌入式Linux设计与应用,从入门到提高,详细的应用程序实例,涵盖很多资源的使用,以及系统分析免费下载

  资源简介：嵌入式Linux设计与应用,从入门到提高,详细的应用程序实例,涵盖很多资源的使用,以及系统分析

  标签： Linux 嵌入式 应用程序 资源

  上传时间： 2013-12-30

  上传用户：wangdean1101

• 本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。免费下载

  资源简介：本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。 本站后台默认的用户名和密码都是ntsky123

  标签： beans 分 用户

  上传时间： 2013-12-31

  上传用户：阳光少年2016

• java做的商品销售系统,包括前台和后台,程序不是很大,但是比较灵巧免费下载

  资源简介：java做的商品销售系统,包括前台和后台,程序不是很大,但是比较灵巧

  标签： java 商 后台 销售

  上传时间： 2016-03-10

  上传用户：weiwolkt

• c++作的酒店管理系统,包括源代码和SQL数据库,以及使用说明,对C++有兴趣的同志们,请指教.免费下载

  资源简介：c++作的酒店管理系统,包括源代码和SQL数据库,以及使用说明,对C++有兴趣的同志们,请指教.

  标签： SQL 管理系统 源代码 数据库

  上传时间： 2014-01-21

  上传用户：cx111111

• 本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。免费下载

  资源简介：本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。 本站后台默认的用户名和密码都是ntsky123

  标签： beans 分 用户

  上传时间： 2016-04-13

  上传用户：sssl

• linux内核分析和设计。要看Linux内核必看的书籍。讲解十分鞭辟入里免费下载

  资源简介：linux内核分析和设计。要看Linux内核必看的书籍。讲解十分鞭辟入里

  标签： linux Linux 内核分析 内核

  上传时间： 2016-04-29

  上传用户：朗朗乾坤

• 系统采用PB应用程序开发的教务管理系统,包括论文和开题报告全部,成绩管理,教学管理,选课排课免费下载

  资源简介：系统采用PB应用程序开发的教务管理系统,包括论文和开题报告全部,成绩管理,教学管理,选课排课

  标签： 应用程序 管理系统 报告

  上传时间： 2014-01-25

  上传用户：努力努力再努力

• 一种加载在uCOS_II内核上的嵌入式文件系统 分析了文件系统在嵌入式应用中的重要作用 ,在剖析了 uCOS - II内核工作原理的基础上 ,借鉴 FAT16文件系统 ,构建了一个适合嵌入式应用免费下载

  资源简介：一种加载在uCOS_II内核上的嵌入式文件系统 分析了文件系统在嵌入式应用中的重要作用 ,在剖析了 uCOS - II内核工作原理的基础上 ,借鉴 FAT16文件系统 ,构建了一个适合嵌入式应用的文件系统 FAT8,并详细介绍了如何在 uCOS - II内核上实现。

  标签： uCOS_II uCOS FAT 内核

  上传时间： 2016-06-25

  上传用户：ANRAN

• 以《个人帐簿管理系统设计》为题的用C语言写的《数据结构》课和设计免费下载

  资源简介：以《个人帐簿管理系统设计》为题的用C语言写的《数据结构》课和设计，因为写得都算规范。

  标签： 管理系统 C语言 数据结构

  上传时间： 2016-10-20

  上传用户：顶得柱

• 本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.免费下载

  资源简介：本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言...

  标签： SDL 语言 UML MSC

  上传时间： 2016-11-14

  上传用户：GHF

• 利用MATLAB实现的自动控制系统分析的界面免费下载

  资源简介：利用MATLAB实现的自动控制系统分析的界面

  标签： MATLAB 自动控制 系统分析

  上传时间： 2013-12-17

  上传用户：vodssv

• java做的酒店管理系统涉及数据库和JAVA知识免费下载

  资源简介：java做的酒店管理系统涉及数据库和JAVA知识，对大家学习两者有非常大的帮助

  标签： java JAVA 管理系统 数据库

  上传时间： 2017-01-08

  上传用户：cuiyashuo

• 简化的图书查询系统,服务器端和客户端都有。采用CORBA实现.免费下载

  资源简介：简化的图书查询系统,服务器端和客户端都有。采用CORBA实现.

  标签： CORBA 图书 查询系统 服务器

  上传时间： 2013-12-19

  上传用户：gaojiao1999

• 本文介紹了一種在單片機應用中實現高效、多功能鍵盤掃描分析的設計思想、方法和原理。該演算法可以實現組合鍵、自動連續等功能免费下载

  资源简介：本文介紹了一種在單片機應用中實現高效、多功能鍵盤掃描分析的設計思想、方法和原理。該演算法可以實現組合鍵、自動連續等功能，並具有軟、硬體開銷小，效率高等特點。該演算法已應用於實際產品中。 關鍵字：鍵盤掃描；單片機

  标签： 多功能 分 鍵盤 算法

  上传时间： 2013-12-14

  上传用户：fredguo

• 很有用的,有关信息系统分析与设计的是的安定法啊噶大饿踏歌啊儿歌发而噶免费下载

  资源简介：很有用的,有关信息系统分析与设计的是的安定法啊噶大饿踏歌啊儿歌发而噶

  标签： 信息系统 分

  上传时间： 2017-08-08

  上传用户：litianchu

• 自己找到的数字调制系统分析与仿真 希望大家喜欢免费下载

  资源简介：自己找到的数字调制系统分析与仿真 希望大家喜欢

  标签： 数字调制 仿真 家 系统分析

  上传时间： 2014-01-09

  上传用户：水中浮云

• 基于单片机的出租车计费系统 有论文和程序 很安逸免费下载

  资源简介：基于单片机的出租车计费系统 有论文和程序 很安逸

  标签： 单片机 出租车计费系统 论文 程序

  上传时间： 2014-01-24

  上传用户：hustfanenze

• C语言书写的家庭开支系统,可记录和查看平时的消费记录免费下载

  资源简介：C语言书写的家庭开支系统,可记录和查看平时的消费记录，有着较良好的用户体验界面

  标签： 记录 C语言 家

  上传时间： 2014-12-01

  上传用户：541657925

• 基于labview和access的温湿度监测系统上位机程序设计7099免费下载

  资源简介：基于labview和access的温湿度监测系统上位机程序设计7099这是一份非常不错的资料，欢迎下载，希望对您有帮助！

  标签： labview access 温湿度监测系统

  上传时间： 2022-01-27

  上传用户：1208020161

• 理解随机信号功率谱分析原理和方法。 (1) 生成信号免费下载

  资源简介：理解随机信号功率谱分析原理和方法。 (1) 生成信号，被淹没在在噪声中； (2) 试用周期图法估计信号的功率谱； (3) 选用不同窗，使用修正周期图法估计信号的功率谱； (4) 对一段语音信号，使用LD算法估计其功率谱； (5) 详细列出功率谱估计的步骤和...

  标签： 随机信号 功率谱 分 信号

  上传时间： 2015-04-07

  上传用户：cccole0605

• 目前国内已掀起电子政务的应用热潮,但对电子政务如何建立系统且先进的数据工程体系 并构造电子政务的决策支持系统尚不多见。在开发南海市区(镇) 电子政务的决策支持系统中,利 用软件工程开发方法、决策支免费下载

  资源简介：目前国内已掀起电子政务的应用热潮,但对电子政务如何建立系统且先进的数据工程体系 并构造电子政务的决策支持系统尚不多见。在开发南海市区(镇) 电子政务的决策支持系统中,利 用软件工程开发方法、决策支持的构件化框架以及数据仓库和多维数据技术方面取得...

  标签： 电子政务 支持系统 数据 工程

  上传时间： 2013-12-14

  上传用户：zhaiye