资源列表
[编译器/词法分析] 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-05-24 上传 | 大小：5.5mb | 下载：0
[中文信息处理] BlogClassify
说明： java实现xml文档分词 提取出文章的主题-xml documents java achieve segmentation to extract the theme of the article<刘> 在 2025-05-24 上传 | 大小：5.5mb | 下载：0
[编译器/词法分析] MITSUBISHI_Compiler
说明：一、该工程已基本完成PLC编程器的功能。 二、还需完成的功能有： 1。助记符程序分段时，不需加（；***）符号。 2。写助记符程序时，加行号。 3。助记符程序编辑器，还要加上光标位置显示。 4。元器件地址需用数据库进行管理。 5。使助记符程序与梯形图程序之间能互相切换。 6。还需补充MSP、MRD、MPP、MC、MCR等语句。-A, the project has basically comple<kevin> 在 2025-05-24 上传 | 大小：5.5mb | 下载：0
[书籍源码] addressbook
说明：内含有三个版本，是一个通讯录的程序。实现了通讯录的查询、更新、删除等功能。-Contains three versions, is a address book program. Realized the address book query, update, delete and so on.<aloha> 在 2025-05-24 上传 | 大小：5.49mb | 下载：0
[编辑器/阅读器] coolreader3-3.0.32
说明：coolreader是俄罗斯的一款开源电子书阅读器程序，支持TXT、FB2、EPUB、HTM、HTML、CHM、DOC、DOCX-coolreader is Russia' s an open source e-book reader that supports TXT, FB2, EPUB, HTM, HTML, CHM, DOC, DOCX<黎丙炎> 在 2025-05-24 上传 | 大小：5.5mb | 下载：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-05-24 上传 | 大小：5.5mb | 下载：0
[书籍源码] Machinelearning
说明：机器学习官方文档，对机器学习进行详细的介绍。(machinary learning, introduce the machinary learning.)<蔡全卓 > 在 2025-05-24 上传 | 大小：5.5mb | 下载：0