-
这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。...
这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.
- 2023-08-26 10:05:04下载
- 积分：1
-
考试安排jayuyz agziugaz zuazazg ahgzahgzkjaz gzahz auzazhz
exam shedule jayuyz agziugaz zuazazg ahgzahgzkjaz gzahz auzazhz
- 2022-03-03 18:32:43下载
- 积分：1
-
这是一个库存管理系统，1.使用SQL Server建立数据库和表以及相应的视图；
2.使用Visual C++建立基于对话框模型的工程框架
3.依次创...
这是一个库存管理系统，1.使用SQL Server建立数据库和表以及相应的视图；
2.使用Visual C++建立基于对话框模型的工程框架
3.依次创建各表的类,用来操作表数据
4.创建用户登陆模块,实现基本的登录和退出功能
5.创建客户管理模块,实现对客户信息的编辑和管理功能
6.创建仓库管理模块,实现对仓库信息的编辑和管理功能
7.创建产品管理模块,实现对产品类别和信息的编辑和管理功能
8.创建操作管理模块,实现对仓库的各种操作的编辑以及管理功能
9.创建统计查询管理模块,实现对产品的出入库统计以及对库存产品流水统计功能
10.创建数量管理模块,实现产品数量报警以及失效报警功能
- 2022-10-05 19:30:03下载
- 积分：1
-
CMMB复用标准，详细介绍了CMMB广播信道中复用帧复用子帧视音频复用的结构...
CMMB复用标准，详细介绍了CMMB广播信道中复用帧复用子帧视音频复用的结构-Reuse CMMB standard, CMMB broadcasting details of channel reuse reuse sub-frame video and audio multiplexing frame structure
- 2022-06-18 11:50:56下载
- 积分：1
-
基于MPI的网络并行计算环境及应用 PDF 电子书
基于MPI的网络并行计算环境及应用 PDF 电子书
-MPI-based parallel computing network environment and application of PDF e-book
- 2022-05-14 02:59:00下载
- 积分：1
-
数据库课程设计论文示例，运网物流管理系统。
数据库课程设计论文示例，运网物流管理系统。-Database curriculum design thesis example, transport, logistics network management system.
- 2022-02-10 02:29:36下载
- 积分：1
-
Nokia5110 LCD with PIC18F
使用C18 MPLAB编写的函数，用于在nokia51110 LCD上显示6行14个字符；
- 2022-02-12 13:13:44下载
- 积分：1
-
NX二次开发实例
通过一个实例来介绍在当前高端三维CAD软件上做二次开发的一般方法，整个功能中实现了对零件的分模处理，通过调用NX的二次开发接口，以及对应的c函数，实现零件的选择，菜单生成，菜单对对话框的调用，以及如何在NX的二次开发中调用MFC的对话框，实现对已有NX二次开发界面的功能扩充。
- 2023-03-13 06:30:04下载
- 积分：1
-
软件开发者的文档,简体中文版
只为交流学习
软件开发者的文档,简体中文版
只为交流学习-Software developers of the document, the simplified Chinese version only for the exchange of learning
- 2022-09-19 23:35:03下载
- 积分：1
-
llh_to_eci transform
llh_to_eci transform
- 2022-02-14 18:34:44下载
- 积分：1
