< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Labview是实验室虚拟仪器工程工作台(Labview Virtual Instruments Engineering Workbench)的简称．是 美国国家仪器公司开发的虚拟仪器开发平台软件，它 的功能强大灵活。可以广泛的应用于自动测量系统、工 业过程自动化、实验室仿真等各个领域。
标签： Labview Instruments Engineering Workbench
上传时间： 2014-08-15
上传用户：shawvi
PDM for Linux是一款面向中小企业而设计的数据备份软件,安装简单操作容易,用户只需在PDM服务器上安装好服务器端,即可直接备份和恢复局域网内所有windows共享文件、NFS共享文件、MySql数据库,无需安装客户端和控制台.控制台使用B/S方式,使用浏览器来实现对PDM服务器的管理.
上传时间： 2014-08-26
上传用户：王楚楚
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
华恒科技 HHCF5249-R3 技术手册 第一章 产品简介 第二章 软件系统 第三章 硬件系统 第四章 机械特性 第五章 底板的硬件设计 第六章 售后服务及技术支持 附录 附录A 初始化 附录B LINUX 常见术语 附录C 常用LINUX 命令 附录D GCC 与GDB 附录E MAKEFILE 附录F UCLINUX 系统分析 uClinux 简介 uClinux 小型化的做法 uClinux 的开发环境 uClinux 的内存管理 工具及内核 附录G 图形界面（GUI）接口函数API 附录H 参考资料
上传时间： 2013-12-24
上传用户：a6697238
该软件为计算机公司进销存管理系统。方便公司管理人员对进货、出货和库存产品的管理和维护。
上传时间： 2016-04-19
上传用户：TF2015
TI公司的dsp开发软件，很全，对dsp开发人员来说应该很有用
上传时间： 2016-04-21
上传用户：ryb
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
