资源列表
排序选择:
[弱点检测代码] 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-08 上传 | 大小: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-08 上传 | 大小:694272 | 下载:0
[弱点检测代码] NuSMV-2.4.3.tar
说明:NuSMV是一个符号模型检测器,由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2024-09-08 上传 | 大小: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-08 上传 | 大小:3306496 | 下载:0
[加密解密] yxyDES2_VC
说明:这是一个标准的DES算法 可以加密字符串和文件,也可以相应的解密-This is a standard DES algorithm can string and file encryption and decryption can be<王> 在 2024-09-08 上传 | 大小:15360 | 下载:0
[金融证券系统] Barber
说明:C++ source code for market statistics<Aleksandar> 在 2024-09-08 上传 | 大小: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-08 上传 | 大小: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-08 上传 | 大小:631808 | 下载:0
[百货/超市行业] SuperMarket
说明: 系统功能: (1)系统分两种身份:管理员和员工,选择不同的身份进入不同的功能操作界面! (2)商品信息管理:管理员可以添加和维护商品信息,员工只能对商品信息进行查询 (3)员工信息管理:管理员登陆系统后可以可以添加和维护超市员工(收银员)的信息 (4)商品进货管理:管理员登陆系统后可以添加商品进货信息 (5)商品销售管理 (6)商品库存管理-System functions: (1) the identit<心如止水> 在 2024-09-08 上传 | 大小:823296 | 下载:0
[单片机(51,AVR,MSP430等)] AD9851
说明:ad9815的驱动程序,适合初学者,较易学。-ad9815 driver is suitable for beginners, easier to learn.<辰宸晨> 在 2024-09-08 上传 | 大小:24576 | 下载:0