< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
华恒科技 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
采用MATLAB编写B样条绘制程序，可以选择四种节点矢量，采用Deboor算法,详细参看计算机辅助几何设计的书籍(CAGD)
上传时间： 2013-12-23
上传用户：yoleeson
B+树的演示程序，在vs.net 2003 下编译通过。是数据库基础的课程设计。
上传时间： 2014-12-03
上传用户：王小奇
本文对taye b 类型卡的一种作了详细价绍，可以给初学者作用一个参考文献
标签： taye
上传时间： 2016-05-31
上传用户：xg262122
CC2430DB Reference Design TI的cc2430开发板设计资料，其中包括原理图和PCB,对于cc2430的开发很有参考价值的
上传时间： 2014-01-25
上传用户：王小奇
标准化考试系统 (B/S网络版) 用JAVA编写的考试系统，是JAVA课程设计时的作品！ 客户端主类ClientBS 客户端选择试题界面ChoiceFile 客户端考试界面ClientTestArea 服务器端主类Server 服务器端读取试题 ReadTestquestion
上传时间： 2013-12-26
上传用户：yyyyyyyyyy
假设在时间段[A, B]期间有6个作业需要在某台机器上处理，每个作业对应的权重为Wi，请设计一个算法使这台机器在该时间段内利用率最高。
标签： 机器
上传时间： 2014-01-10
上传用户：gut1234567
TI的医疗仪器的设计解决方案，可以作为大家开发医疗仪器的参考
上传时间： 2014-01-14
上传用户：cainaifa
两台处理机A 和B处理n个作业。设第i个作业交给机器 A 处理时需要时间ai，若由机器B 来处理，则需要时间bi。由于各作 业的特点和机器的性能关系，很可能对于某些i，有ai >=bi，而对于 某些j，j!=i，有aj<bj。既不能将一个作业分开由两台机器处理，也没 有一台机器能同时处理2 个作业。设计一个动态规划算法，使得这两 台机器处理完成这n 个作业的时间最短（从任何一台机器开工到最后 一台机器停工的总时间）。研究一个实例：（a1,a2,a3,a4,a5,a6）= （2,5,7,10,5,2）；（b1,b2,b3,b4,b5,b6）=（3,8,4,11,3,4）
上传时间： 2014-01-14
上传用户：独孤求源
