< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
资源简介：< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大...
上传时间： 2014-11-29
上传用户：康郎
资源简介：这个文档用于I/O管理器和基本文件系统之间的过滤驱动。文件系统可能是本地或者网络的。这个文档不涉及文件系统和存储设备之间的过滤驱动，比如FtDisk和DMIO. 我们将主要讨论一种新的文件系统过滤驱动模型，所谓的微过滤器（minfiter）
上传时间： 2015-04-29
上传用户：kikye
资源简介：《实用最优化方法 （第三版）》 该教材介绍了线性规划、非线性规划、多目标规划、整数规划和动态规划的基本理论、计算方法及其应用。书中着重阐述了最优化的基本原理和在实际应用中比较有效的计算方法及其在计算机上的实现等内容。
上传时间： 2014-01-11
上传用户：来茴
资源简介：摘要讨论了消除惯导平台航向效应对地地导弹多位置自对准精度影响的方 法。惯导平台初始方位相同时航向效应重复性好，根据这个特点设计了消除航 向效应影响的两位置自对准方法。首先利用陀螺漂移历史数据粗略估计方位， 并据此转动弹体将平台转到航向效应标...
上传时间： 2017-08-07
上传用户：JIUSHICHEN
资源简介：本文简单介绍了OSI 抽象语法符号（ASN.1）的子集——基本编码规则（BER）和可辨别编码规则（DER）。
上传时间： 2014-01-22
上传用户：Yukiseop
资源简介：51单片机在微型智能控制系统中应用很广,随着人们对控制系统的要求不断提高, 51 单片机的功能局限越发明显。特别是51系列单片机不具有实时多任务支持功能,大大限制其在控制系统中的进一步发展。而多任务恰恰是现代操作系统的突出特点,将多任务机制引入 单片机...
上传时间： 2014-11-23
上传用户：Altman
资源简介：<信号分析与处理：MATLAB语言及应用> 本书将信号分析与处理、信号与系统、与matlab语言紧密结合。提供大量matlab应用程序
上传时间： 2013-12-26
上传用户：alan-ee
资源简介：MATLAB 7_0实用指南（上下册）（超星图书）和超星阅读器的安装程序。希望对大家有所帮助。顺便盼求：关于GPS接收机的自适应抗干扰的程序，应该是功率倒置算法，还有GPS MATLB工具箱，否则还要编写仿真GPS信号的程序才能调试这个抗干扰算法，是吗？望高人指点...
上传时间： 2015-05-09
上传用户：koulian
资源简介：螺旋矩阵问题：编程产生H*L的螺旋矩阵。首先，我们用一个二维数组来放置矩阵，然后按照数字大小顺序来填充矩阵.
上传时间： 2015-10-01
上传用户：zhichenglu
资源简介：人事工资管理系统：本文围绕一个”人事管理系统”程序的设计和应用系统的开发课题为背景,详细介绍了以VB和SQL SERVER为语言编写管理信息系统的过程。该程序通过VB的ADO数据对象来实现VB前台与后台SQL SERVER数据库的连接,并具有典型的数据库应用系统的特征,完...
上传时间： 2016-06-17
上传用户：luke5347
资源简介：本书讲述的内容是：如何用C++和中间件来解决网络应用程序开发中相关的重要课题。首先回顾主流OS平台本身具有的核心OS机制，并阐释如何在ACE中运用C++和模式，将这些机制封装到类库（class library）wrapper facade之中，从而提高应用程序的可移植性和健壮性。...
上传时间： 2014-01-17
上传用户：gonuiln
资源简介：本书讲述的内容是：如何用C++和中间件来解决网络应用程序开发中相关的重要课题。首先回顾主流OS平台本身具有的核心OS机制，并阐释如何在ACE中运用C++和模式，将这些机制封装到类库（class library）wrapper facade之中，从而提高应用程序的可移植性和健壮性。...
上传时间： 2016-10-20
上传用户：wangchong
资源简介：《MATLAB控制系统仿真与实例详解》一书的光盘源码。图书简介：本书详细地讲解了MATLAB 7.x的功能与相关操作以及MATLAB在控制系统中的仿真应用。本书内容包括控制系统仿真基础、MATLAB程序设计语言基础、控制系统理论基础、Simulink交互式仿真环境、控制系统建...
上传时间： 2017-04-04
上传用户：181992417
资源简介：本书介绍了MATLAB 7.X版本与其他语言混合编程的方法。内容包括在MATLAB中以文件方式导入、导出数据；在Windows和Linux开发C/C++语言的MEX文件；在Windows和Linux开发FORTRAN语言MEX文件；在MATLAB中使用动态连接库文件；在C/C++语言中调用MATLAB引擎；使用MAT...
上传时间： 2017-07-03
上传用户：libenshu01
资源简介：本书介绍了JavssciPt的程序设计技术。书中从最基本的Javascr加编程概念谈起， 详细介绍了J帅她的中可使用的各种对象，讨论了如何用J帅SciPt操作HTML文档 中的各个元素，从而获得更灵活、交互性更强的web页，接着说明了多媒体的处理技术， 最后介绍了Javasc...
上传时间： 2015-09-13
上传用户：wanqunsheng
资源简介：如何在（自然）系列期刊上发表您的硏究工作：（自然）系列期刊是由每周出版的多学科（自然）杂誌和10种每月出版的期刊组成。（自然）杂誌发表在某一学科 內具有最高影响﹑其它领域的科学家也会心感兴趣的硏究工作；10种学术期刊的名称是根据其报导领域命名的...
上传时间： 2013-12-24
上传用户：拔丝土豆
资源简介：本书介绍了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序写作的方法。这些程序用C语言编写并使用原始的Windows Application Programming Interface（API）。如在本章稍后所讨论的，这不是写作Windows程序的唯一方法。然而，无论最...
上传时间： 2014-11-29
上传用户：haohaoxuexi
资源简介：本书介绍了一些语言的开发工具及使用方法。图文并茂，请多多支持
上传时间： 2014-09-10
上传用户：mpquest
资源简介：本书介绍了Linux下图形用户接口（GUI）编程技术。全书共18章，分五个部分。第一部分介绍Linux GUI编程架构以及编程基础知识，第二部分介绍Linux 编程常用C语言函数库glibc、构件库gtk+、Gnome，第三部分介绍Linux下的GUI生成器Glade，第四部分介绍Linux编程调...
上传时间： 2014-01-19
上传用户：15736969615
资源简介：本书是一本介绍计算机绘图和计算机图形处理方法和技术的参考书 介绍使用v1肋alc肋行计算机绘图和计算机图形处理算法的程序设计。 计算机图形绘制技术为主线，以图形应用程序设计实例为中心。书中大量的程 序实例使读者能很快掌握vt闭alc界．邢T在图形程序...
上传时间： 2013-12-29
上传用户：qb1993225
资源简介：本书是一本介绍计算机绘图和计算机图形处理方法和技术的参考书 介绍使用v1肋alc肋行计算机绘图和计算机图形处理算法的程序设计。 计算机图形绘制技术为主线，以图形应用程序设计实例为中心。书中大量的程 序实例使读者能很快掌握vt闭alc界．邢T在图形程序...
上传时间： 2015-06-21
上传用户：yepeng139
资源简介：本书介绍了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程式写作的方法。这些程式用C语言编写并使用原始的Windows Application Programming Interface（API）。如在本章稍後所讨论的，这不是写作Windows程式的唯一方法。然而，无论最...
上传时间： 2013-12-09
上传用户：冇尾飞铊
资源简介：中文名为：windows设备驱动程序技术内幕 详细介绍了设备驱动的原理和实现方法，并列举了大量的实例方便大家学习
上传时间： 2015-07-02
上传用户：6546544
资源简介：本书介绍了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序写作的方法。这些程序用C语言编写并使用原始的Windows Application Programming Interface（API）。如在本章稍后所讨论的，这不是写作Windows程序的唯一方法。然而，无论最...
上传时间： 2014-07-16
上传用户：270189020
资源简介：常用的单击片接口液晶模块驱动程序。里面包括了大量的各种液晶模块和单击片接口的应用例子。对入门的GGJJ极具实用参考价值。
上传时间： 2014-01-11
上传用户：xieguodong1234
资源简介：本书介绍了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序写作的方法。这些程序用C语言编写并使用原始的Windows Application Programming Interface（API）。
上传时间： 2015-10-08
上传用户：evil
资源简介：数值方法（MATLAB版）第三版 英文 本书介绍了数值方法的理论和实践知识。以实际例题说明概念定理，含大量习题和编程题。
上传时间： 2014-01-24
上传用户：onewq
资源简介：与C语言编程相关的全面,深入的探讨.本书覆盖了绝大多书C语言重要话题.
上传时间： 2015-11-24
上传用户：498732662
资源简介：JSP2_0技术手册.pdf 全面介绍了主流的java-web开发技术-jSP2.0 重点介绍了java在展示层的两项重要技术：java servlet 与javaserver pages
上传时间： 2014-09-06
上传用户：qazxsw
资源简介：Unix环境高级编程：本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述，主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上，分别按章介绍了多个应用实例，...
上传时间： 2015-12-23
上传用户：cmc_68289287
