资源列表
Desktop
- 用于求解sat可满足性问题，输入一个式子，判断是否始终满足(Solving the satisfiability problem of SAT,Enter a style to judge whether it is always satisfied)
Get QQ Photo
- QQ空间照片的爬虫,爬取好友列表里面的照片，非常好用的高级爬虫(Scrabble the Photos of qq.zone.com.)
controller
- Javaweb项目控制层，通过ssm的方式，简化代码，降低业务逻辑关系(Javaweb project control layer simplifies code by SSM and reduces business logic relationship.)
10778460
- 这个压缩包包含两个工程,实现聊天室功能,其中一个是服务器端()
插值程序新
- 飞行力学里编写弹道时所用到的插值程序，包括一维插值，二维插值和三维插值。(In flight mechanics, the interpolation procedures used in compiling the trajectory include one-dimensional interpolation, two-dimensional interpolation and three-dimensional interpolation.)
Desktop
- pcb检测,车牌识别(pcb detect)
函数：Tic-Tac-Toe游戏-人机对战井字棋
- python小游戏代码 井字棋 ai 人工智能(game python ai you can play a game with ai)
选择语句
- 一些与c语言中的选择语句相关的应用程序代码(Some application codes related to selection statements in the C language.)
ecdsa签名验签
- 实现了ecdsa签名、验签，包含了私钥和数字证书(implement signatures and verfication by ecdsa algorithm)
ChangeIP
- Read Registry and Save to Registry using VB6
input
- SWMM模型输入源代码，可用SWMM模型的于二次开发。(SWMM model input source code)
灯循环
- labview流水灯的循环，可以手动调节循环速度(The circulation of LabVIEW flow)