资源列表
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2025-01-19 上传 | 大小:5.5mb | 下载:0
[中文信息处理] Lexicon_full_2000
说明:这是一个词库,对于那些做中文分词的人很有帮助的,是2000年的-This is a thesaurus, for those Chinese Segmentation make people very helpful is the 2000<张金山> 在 2025-01-19 上传 | 大小:5.5mb | 下载:1
[中文信息处理] BlogClassify
说明: java实现xml文档分词 提取出文章的主题-xml documents java achieve segmentation to extract the theme of the article<刘> 在 2025-01-19 上传 | 大小:5.5mb | 下载:0
[书籍源码] ImprovedPIDControlandMATLABsimulation
说明:基本PID控制的资料和改进的PID控制的资料-Data of basic PID control and improved PID control<wangjin> 在 2025-01-19 上传 | 大小:5.49mb | 下载:1
[书籍源码] addressbook
说明:内含有三个版本,是一个通讯录的程序。实现了通讯录的查询、更新、删除等功能。-Contains three versions, is a address book program. Realized the address book query, update, delete and so on.<aloha> 在 2025-01-19 上传 | 大小:5.49mb | 下载:0
[Dephi控件源码] VeCAD-v6.0
说明:VeCAD v6.0注册版。一个与AUTOCAD兼容的矢量图形库。下载包里含有注册码。-VeCAD v6.0 registered version. One compatible with AUTOCAD vector graphics library. Download bag containing the registration code.<王心惟> 在 2025-01-19 上传 | 大小:5.5mb | 下载:0
[书籍源码] Machinelearning
说明:机器学习官方文档,对机器学习进行详细的介绍。(machinary learning, introduce the machinary learning.)<蔡全卓 > 在 2025-01-19 上传 | 大小:5.5mb | 下载:0