< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
采用MATLAB编写B样条绘制程序，可以选择四种节点矢量，采用Deboor算法,详细参看计算机辅助几何设计的书籍(CAGD)
上传时间： 2013-12-23
上传用户：yoleeson
B+树的演示程序，在vs.net 2003 下编译通过。是数据库基础的课程设计。
上传时间： 2014-12-03
上传用户：王小奇
标准化考试系统 (B/S网络版) 用JAVA编写的考试系统，是JAVA课程设计时的作品！ 客户端主类ClientBS 客户端选择试题界面ChoiceFile 客户端考试界面ClientTestArea 服务器端主类Server 服务器端读取试题 ReadTestquestion
上传时间： 2013-12-26
上传用户：yyyyyyyyyy
假设在时间段[A, B]期间有6个作业需要在某台机器上处理，每个作业对应的权重为Wi，请设计一个算法使这台机器在该时间段内利用率最高。
标签： 机器
上传时间： 2014-01-10
上传用户：gut1234567
两台处理机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
上传用户：独孤求源
C语言是在 70年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正式 发表了C 语言。同时由B.W.Kernighan和 D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》，也有人称之为《K&R》标准。但是，在《K&R》中并 没有定义一个完整的标准C语言，后来由美国国家标准学会在此基础上制定了一个C 语言 标准，于一九八三年发表。通常称之为ANSI C。 当代最优秀的程序设计语言
标签： Kernighan Ritchit PROGRA THE
上传时间： 2016-12-23
上传用户：chens000
大学生论文管理系统。 大学生论文管理系统是学校等机构在自己的局域网上搭建的B/S结构办公平台，用户打开浏览器即可方便快捷地使用该系统，进行论文的发布、管理和查阅工作。本章根据大学中的实际需求，介绍一个完整的学生论文管理系统从设计到实现的方法。 采用MySQL作为后台数据库，采用标准MVC三层架构(JSP-JavaBean-Servlet)开发模式。通过这种设计模型把应用逻辑，处理过程和显示逻辑分成不同的组件实现，这些组件可以进行交互和重用。
上传时间： 2013-12-19
上传用户：LIKE
设B是一个n×n棋盘，n=2k,(k=1,2,3,…)。用分治法设计一个算法，使得：用若干个L型条块可以覆盖住B的除一个特殊方格外的所有方格。其中，一个L型条块可以覆盖3个方格。且任意两个L型条块不能重叠覆盖棋盘。
标签：
上传时间： 2013-12-19
上传用户：xc216
作者B.A.Shenoi, John Wiley & Sons 出版社出版，主要讲述DSP信号处理、滤波器设计，书里包含大量matlab实例。
上传时间： 2017-05-20
上传用户：13215175592
