-
HybirdSat求解器smt
开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。
- 2022-02-20 09:49:11下载
- 积分：1
-
高级的加密标准 (AES)
高级加密标准（AES）
- 2022-04-06 09:36:06下载
- 积分：1
-
KomfortBlinker
用汇编语言编写的代码，实现安装在汽车上的KomfortBlinker。它基于Attiny13，使用了一些组件。此外，还提供了示意图
- 2022-07-20 17:27:17下载
- 积分：1
-
重磅送出，一个网站的字符串匹配算法讲解，以及算法实现的演示。希望在字符串匹配算法这方面有研究的。看了这里面的东西，保证你不再去找别的东西去看了。经典中的经典。这...
重磅送出，一个网站的字符串匹配算法讲解，以及算法实现的演示。希望在字符串匹配算法这方面有研究的。看了这里面的东西，保证你不再去找别的东西去看了。经典中的经典。这是把一个网站的一个链接目录完全下载，是收藏的精品-hit send, a website to explain the string matching algorithm, the algorithm of the demonstration. In this string matching algorithms are studied. Read this and the things that you are no longer guaranteed to find something else to see it. The classic classic. This site is a directory of links to a full download, is a collection of products
- 2023-02-18 09:45:03下载
- 积分：1
-
FFT源代码汇集（各种FFT源代码）
FFT源代码汇集（各种FFT源代码）-FFT source code pool (FFT various source code)
- 2022-03-23 01:04:23下载
- 积分：1
-
高斯消元法课件，将的很详细，对求解最小二乘法等算法有较大的帮助。...
高斯消元法课件，将的很详细，对求解最小二乘法等算法有较大的帮助。-Gauss elimination method courseware will be very detailed and algorithms for solving the least square method and so on greater help.
- 2023-03-01 13:00:04下载
- 积分：1
-
多传感器数据融合系统中时间配准算法分析,非常有用
多传感器数据融合系统中时间配准算法分析,非常有用-An analysis of time registration in multi―sensor data fusion system
- 2022-08-15 21:14:51下载
- 积分：1
-
basic huffman code, visual c
basic huffman code, visual c-basic huffman code, visual c++
- 2022-03-16 14:22:58下载
- 积分：1
-
Numerical optimization process commonly used method of least squares procedure
数值优化计算过程中常用的最小二乘法程序-Numerical optimization process commonly used method of least squares procedure
- 2022-07-19 21:45:33下载
- 积分：1
-
飞思卡尔舵机程序
飞思卡尔xs128芯片，舵机驱动程序，本舵机的型号是SD-5，本代码是可以直接使用的啦！
- 2022-04-22 17:29:15下载
- 积分：1
