[嵌入式/单片机编程] modelchecking_spin

说明：对软件进行可达性测试的软件，并提供源代码，能够有效实施软件测试任务-Up to the software testing software, and provide source code, to the effective implementation of software testing mission
<陈楷> 在 2025-10-02 上传 | 大小：226kb | 下载：0

[图形图象] JTIDL63Code

说明：韩培友<<IDL可视化分析与应用>>一书的配套完整源代码与误勘表-HAN Pei-Friends
<李晓亮> 在 2025-10-02 上传 | 大小：1.56mb | 下载：0

[JSP源码/Java] News_Demo

说明：struts+hibernate模式的在线信息发布系统-struts+ hibernate mode of online information publishing system
<vinkey> 在 2025-10-02 上传 | 大小：11.78mb | 下载：0

[Windows编程] cgrasp

说明：有c语言编写的最基本的rsat源代码，可以供学习可满足性分析编写者使用，能够学到很多SAT方面的知识-C has the most basic language rsat source code available for study and analysis to meet the writers use, to learn a lot of knowledge SAT
<陈楷> 在 2025-10-02 上传 | 大小：157kb | 下载：0

[.net编程] aspnetProfile

说明：asp.net中profile的详细配置-asp.net detailed in the profile configuration
<vinkey> 在 2025-10-02 上传 | 大小：178kb | 下载：0

[人工智能/神经网络/遗传算法] AnswerSetProgramming

说明：在vc上运行的回答集求解器源代码，能够供在人工智能上学习的学习者使用-Running in vc answer set solver source code, for use in artificial intelligence to learn the use of the learners
<陈楷> 在 2025-10-02 上传 | 大小：204kb | 下载：0

[书籍源码] HOJ10054

说明：ACM基础题，动态规划基础题，学习程序设计必备的算法基础练习-ACM basis of title, title based on dynamic programming, learning programming algorithm based on an essential practice
<罗平> 在 2025-10-02 上传 | 大小：1kb | 下载：0

[.net编程] aspnetWebPart

说明：asp.net用Web Part创建门户-asp.net create a portal with Web Part
<vinkey> 在 2025-10-02 上传 | 大小：2.47mb | 下载：0

[软件工程] LCD7_V001_BAT84V_Logic1

说明：
<cocotte> 在 2025-10-02 上传 | 大小：1.4mb | 下载：0

[.net编程] Commerce

说明：asp.net2.0 B2C 网上商城购物系统-asp.net2.0 B2C online shopping mall system
<vinkey> 在 2025-10-02 上传 | 大小：1.29mb | 下载：0

[书籍源码] COBOL_learning

说明：谭浩强经典的cobol书籍，对于很难找到比较好资料的cobol学习者来说是很宝贵的。-Hao strong COBOL classic books, for it is difficult to find better information COBOL learners is very valuable.
<李浪> 在 2025-10-02 上传 | 大小：7.9mb | 下载：0

[.net编程] onlinevote2.0_51aspx

说明：onlinevote2.0_51aspx--asp.net的实例-onlinevote2.0_51aspx asp.net examples
<孔贝> 在 2025-10-02 上传 | 大小：706kb | 下载：0