< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Atheros无线芯片AR-6000系列wince 6驱动源代码(这东西我也没用过别问我,我是搜别的wince资源搜到的) AR6K SDIO support. Requires firmware 1.1 on SD13 cards. readme: Atheros Communications AR6001 WLAN Driver for SDIO installation Read Me March 26,2007 (based on k14 fw1.1) Windows CE Embedded CE 6.0 driver installation. 1. Unzip the installation file onto your system (called installation directory below) 2. Create an OS design or open an existing OS design in Platform Builder 6.0. a. The OS must support the SD bus driver and have an SD Host Controller driver (add these from Catalog Items). b. Run image size should be set to allow greater than 32MB. 3. a. From the Project menu select Add Existing Subproject... b. select AR6K_DRV.pbxml c. select open This should create a subproject within your OS Design project for the AR6K_DRV driver. 4. Build the solution. 转自Tony嵌入式,原文地址：http://www.cevx.com/bbs/dispbbs.asp?boardID=4&ID=11762&page=1
标签： wince Requires firmware Atheros
上传时间： 2014-11-11
上传用户：bibirnovis
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
环境采用ASP.NET和SQL Server 2000 一款为中小企业量身订做的人力资源管理软件。主要包括以下功能：档案管理、考核管理、工资管理、培训管理、评价管理、合同管理、员工调动、员工离职、员工复职、奖惩管理、员工生日提醒、合同到期提醒等。每个功能模块均可以按照任意条件查询、排序、打印卡片、报表预览、导入到Excel。系统设置中您可以设置公司信息、部门、职称、职务、学历、民族等信息，同时可按照相关条件统计出人数，可以用图形显示，也可以用表格形式打印。管理员分为高级管理员和普通管理员，高级管理员可以设置普通管理员极其权限。同时系统内建强大的备份功能和数据恢复、数据清理功能，您可以放心使用，不用担心数据会丢失。软件功能强大、界面友好，运行稳定，是您进行企业人力管理的最佳选择！
上传时间： 2016-04-15
上传用户：gaojiao1999
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签： Professional QTP Quick Test
上传时间： 2016-04-21
上传用户：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
