英文版的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语言的应用介绍
上传时间: 2016-05-29
上传用户:yangbo69
资源简介:java 编写的图书管理系统源代码 密码和用户名都是123
上传时间: 2015-04-18
上传用户:天诚24
资源简介:图像的多尺度几何分析回顾和展望,这是比较新的论文,希望大家喜欢
上传时间: 2014-01-17
上传用户:asdfasdfd
资源简介:本文介绍了药品进销存管理系统的开发过程。论文详尽论述了从需求分析、系统分析、概要设计、详细设计、以及测试与调试的整个开发过程,遵循软件工程的方法。 文章中所论述的管理信息系统,是一个将业务处理从纯人工操作转换成人工与计算机共同处理的一个实例...
上传时间: 2015-10-23
上传用户:天涯
资源简介:嵌入式Linux设计与应用,从入门到提高,详细的应用程序实例,涵盖很多资源的使用,以及系统分析
上传时间: 2013-12-30
上传用户:wangdean1101
资源简介:本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。 本站后台默认的用户名和密码都是ntsky123
上传时间: 2013-12-31
上传用户:阳光少年2016
资源简介:java做的商品销售系统,包括前台和后台,程序不是很大,但是比较灵巧
上传时间: 2016-03-10
上传用户:weiwolkt
资源简介:c++作的酒店管理系统,包括源代码和SQL数据库,以及使用说明,对C++有兴趣的同志们,请指教.
上传时间: 2014-01-21
上传用户:cx111111
资源简介:本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。 本站后台默认的用户名和密码都是ntsky123
上传时间: 2016-04-13
上传用户:sssl
资源简介:linux内核分析和设计。要看Linux内核必看的书籍。讲解十分鞭辟入里
上传时间: 2016-04-29
上传用户:朗朗乾坤
资源简介:系统采用PB应用程序开发的教务管理系统,包括论文和开题报告全部,成绩管理,教学管理,选课排课
上传时间: 2014-01-25
上传用户:努力努力再努力
资源简介:一种加载在uCOS_II内核上的嵌入式文件系统 分析了文件系统在嵌入式应用中的重要作用 ,在剖析了 uCOS - II内核工作原理的基础上 ,借鉴 FAT16文件系统 ,构建了一个适合嵌入式应用的文件系统 FAT8,并详细介绍了如何在 uCOS - II内核上实现。
上传时间: 2016-06-25
上传用户:ANRAN
资源简介:以《个人帐簿管理系统设计》为题的用C语言写的《数据结构》课和设计,因为写得都算规范。
上传时间: 2016-10-20
上传用户:顶得柱
资源简介:本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言...
上传时间: 2016-11-14
上传用户:GHF
资源简介:利用MATLAB实现的自动控制系统分析的界面
上传时间: 2013-12-17
上传用户:vodssv
资源简介:java做的酒店管理系统涉及数据库和JAVA知识,对大家学习两者有非常大的帮助
上传时间: 2017-01-08
上传用户:cuiyashuo
资源简介:简化的图书查询系统,服务器端和客户端都有。采用CORBA实现.
上传时间: 2013-12-19
上传用户:gaojiao1999
资源简介:本文介紹了一種在單片機應用中實現高效、多功能鍵盤掃描分析的設計思想、方法和原理。該演算法可以實現組合鍵、自動連續等功能,並具有軟、硬體開銷小,效率高等特點。該演算法已應用於實際產品中。 關鍵字:鍵盤掃描;單片機
上传时间: 2013-12-14
上传用户:fredguo
资源简介:很有用的,有关信息系统分析与设计的是的安定法啊噶大饿踏歌啊儿歌发而噶
上传时间: 2017-08-08
上传用户:litianchu
资源简介:自己找到的数字调制系统分析与仿真 希望大家喜欢
上传时间: 2014-01-09
上传用户:水中浮云
资源简介:基于单片机的出租车计费系统 有论文和程序 很安逸
上传时间: 2014-01-24
上传用户:hustfanenze
资源简介:C语言书写的家庭开支系统,可记录和查看平时的消费记录,有着较良好的用户体验界面
上传时间: 2014-12-01
上传用户:541657925
资源简介:基于labview和access的温湿度监测系统上位机程序设计7099这是一份非常不错的资料,欢迎下载,希望对您有帮助!
上传时间: 2022-01-27
上传用户:1208020161
资源简介:理解随机信号功率谱分析原理和方法。 (1) 生成信号,被淹没在在噪声中; (2) 试用周期图法估计信号的功率谱; (3) 选用不同窗,使用修正周期图法估计信号的功率谱; (4) 对一段语音信号,使用LD算法估计其功率谱; (5) 详细列出功率谱估计的步骤和...
上传时间: 2015-04-07
上传用户:cccole0605
资源简介:目前国内已掀起电子政务的应用热潮,但对电子政务如何建立系统且先进的数据工程体系 并构造电子政务的决策支持系统尚不多见。在开发南海市区(镇) 电子政务的决策支持系统中,利 用软件工程开发方法、决策支持的构件化框架以及数据仓库和多维数据技术方面取得...
上传时间: 2013-12-14
上传用户:zhaiye