资源列表
排序选择：
[弱点检测代码] lbt-1.2.2.tar
说明：在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton<gavin> 在 2024-09-10 上传 | 大小：20480 | 下载：0
[软件工程] fluids_libs
说明：Hi I’ am an Algerian student, I’ am in second year of post graduation, in mechanical engineering, option simulation and modulation in mechanic.<walid> 在 2024-09-10 上传 | 大小：694272 | 下载：0
[弱点检测代码] NuSMV-2.4.3.tar
说明：NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2024-09-10 上传 | 大小：3321856 | 下载：0
[JSP源码/Java] shopshangcheng
说明：一个购物商城系统，jsp技术开发 里面的资源基本实现了各个功能模块 相信对你有所帮助-A shopping mall system, jsp technology development resources which basically believe that the various functional modules help you! !<心如止水> 在 2024-09-10 上传 | 大小：3306496 | 下载：0
[加密解密] yxyDES2_VC
说明：这是一个标准的DES算法 可以加密字符串和文件，也可以相应的解密-This is a standard DES algorithm can string and file encryption and decryption can be<王> 在 2024-09-10 上传 | 大小：15360 | 下载：0
[金融证券系统] Barber
说明：C++ source code for market statistics<Aleksandar> 在 2024-09-10 上传 | 大小：360448 | 下载：0
[2D图形编程] wingraph32_src
说明：IDA Pro wingraph模块的源代码，支持GDL文格式件的绘制。-The sourcecode of wingraoph of IDA Pro, which can display the graph describling with GDL.<gavin> 在 2024-09-10 上传 | 大小：428032 | 下载：0
[uCOS开发] ucosii_for_utu2440_V2.83
说明：ucosii v2.83 移植到杨创utu2440 开发板上的源代码。要移植ucosii到s3c2440的朋友可作为参考。-ucosii v2.83 transplanted to the development of a board utu2440 source code. if you want transplant ucosii to s3c2440, may be used as reference.<小虫> 在 2024-09-10 上传 | 大小：631808 | 下载：0
[百货/超市行业] SuperMarket
说明： 系统功能: (1)系统分两种身份:管理员和员工,选择不同的身份进入不同的功能操作界面！ (2)商品信息管理：管理员可以添加和维护商品信息，员工只能对商品信息进行查询 (3)员工信息管理：管理员登陆系统后可以可以添加和维护超市员工(收银员)的信息 (4)商品进货管理：管理员登陆系统后可以添加商品进货信息 (5)商品销售管理 (6)商品库存管理-System functions: (1) the identit<心如止水> 在 2024-09-10 上传 | 大小：823296 | 下载：0
[单片机(51,AVR,MSP430等)] AD9851
说明：ad9815的驱动程序，适合初学者，较易学。-ad9815 driver is suitable for beginners, easier to learn.<辰宸晨> 在 2024-09-10 上传 | 大小：24576 | 下载：0