最快速的可满足性分析工具软件

相 关 资 源

• 最快速的可满足性分析工具软件免费下载

  资源简介：最快速的可满足性分析工具软件，曾经获得比赛的冠军，能够让学习者，学很多的编程技巧

  标签： 分 软件

  上传时间： 2016-09-22

  上传用户：朗朗乾坤

• 多核环境下运行了可满足性分析的工具软件免费下载

  资源简介：多核环境下运行了可满足性分析的工具软件，能够使你充分了解多核编程技术

  标签： 多核 分 环境 运行

  上传时间： 2013-12-19

  上传用户：zhuimenghuadie

• C++Builder 6 是一款快速开发Win32 应用程序的可视化开发工具免费下载

  资源简介：C++Builder 6 是一款快速开发Win32 应用程序的可视化开发工具，利用它可以实现高性 能的执行效率和出色的底层控制。C++Builder 6 相比于5 以前的版本，提供了更多的网络开 发组件，更快速方便的可视化环境。 本书共有14 章，前三章分别介绍C++Builder 的开...

  标签： Builder Win 32 快速开发

  上传时间： 2014-06-12

  上传用户：lijinchuan

• 麻将小游戏,短小精悍,非常好玩,有巨大的可完性,xp友好界面,系统要求低,最重要的是还有配音哦免费下载

  资源简介：麻将小游戏,短小精悍,非常好玩,有巨大的可完性,xp友好界面,系统要求低,最重要的是还有配音哦

  标签： xp 麻将 小游戏 系统要求

  上传时间： 2014-11-17

  上传用户：1101055045

• 这是一个本人编写的一个接联惯性导航系统解析粗对准程序可观测性分析的一个程序。免费下载

  资源简介：这是一个本人编写的一个接联惯性导航系统解析粗对准程序可观测性分析的一个程序。

  标签： 程序 编写 惯性导航 分

  上传时间： 2013-12-26

  上传用户：米卡

• C++Builder 6是一款快速开发Win32应用程序的可视化开发工具免费下载

  资源简介：C++Builder 6是一款快速开发Win32应用程序的可视化开发工具，利用它可以实现高性能的执行效率和出色的底层控制。C++Builder 6相比于5以前的版本，提供了更多的网络开发组件，更快速方便的可视化环境。 本书共有14章，前三章分别介绍C++Builder的开发环境、比...

  标签： Builder Win 32 快速开发

  上传时间： 2017-02-08

  上传用户：dragonhaixm

• 三对角矩阵最常用最快速的追赶法免费下载

  资源简介：三对角矩阵最常用最快速的追赶法，应用广泛。更是样条插值逆运算的重要工具

  标签： 对角 矩阵

  上传时间： 2013-12-26

  上传用户：王庆才

• Linux嵌入式实时操作系统开发与设计, Linux 的可移植性好免费下载

  资源简介：Linux嵌入式实时操作系统开发与设计, Linux 的可移植性好，开发工具丰富。每个 CPU 开发商在发布每一款新的嵌入式 CPU 时，均会投入大量人力移植 Linux 内核，并提供丰富的开发工具。

  标签： Linux 嵌入式 实时操作 可移植性

  上传时间： 2017-07-31

  上传用户：xinyuzhiqiwuwu

• SMT印制电路板的可制造性设计与审核 ppt免费下载

  资源简介：SMT印制电路板的可制造性设计与审核 ppt

  标签： SMT 印制电路板 可制造性

  上传时间： 2013-06-27

  上传用户：eeworm

• SMT印制电路板的可制造性设计与审核-296页-8.9M-ppt.rar免费下载

  资源简介：专辑类----PCB及CAD相关资料专辑 SMT印制电路板的可制造性设计与审核-296页-8.9M-ppt.rar

  标签： M-ppt SMT 296 8.9

  上传时间： 2013-05-30

  上传用户：wsh1985810

• SMT印制电路板的可制造性设计与审核-296页-8.9M-ppt.ppt免费下载

  资源简介：专辑类-PCB及CAD相关资料专辑-174册-3.19G SMT印制电路板的可制造性设计与审核-296页-8.9M-ppt.ppt

  标签： M-ppt SMT 296 8.9

  上传时间： 2013-08-01

  上传用户：wyaqy

• PCB的可制造性与可测试性免费下载

  资源简介：PCB的可制造性与可测试性，很详细的pcb学习资料。

  标签： PCB 可制造性 测试

  上传时间： 2014-06-22

  上传用户：熊少锋

• 通孔插装PCB的可制造性设计免费下载

  资源简介：对于电子产品设计师尤其是线路板设计人员来说，产品的可制造性设计（Design For Manufacture，简称DFM）是一个必须要考虑的因素，如果线路板设计不符合可制造性设计要求，将大大降低产品的生产效率，严重的情况下甚至会导致所设计的产品根本无法制造出来。目...

  标签： PCB 通孔插装 可制造性

  上传时间： 2013-11-07

  上传用户：refent

• PCB的可制造性与可测试性免费下载

  资源简介：PCB的可制造性与可测试性，很详细的pcb学习资料。

  标签： PCB 可制造性 测试

  上传时间： 2015-01-01

  上传用户：tou15837271233

• 通孔插装PCB的可制造性设计免费下载

  资源简介：对于电子产品设计师尤其是线路板设计人员来说，产品的可制造性设计（Design For Manufacture，简称DFM）是一个必须要考虑的因素，如果线路板设计不符合可制造性设计要求，将大大降低产品的生产效率，严重的情况下甚至会导致所设计的产品根本无法制造出来。目...

  标签： PCB 通孔插装 可制造性

  上传时间： 2013-10-26

  上传用户：gaome

• 本文具体介绍了怎样利用Intel公司的8051单片机设计和实现一款低成本的可配置性的单路电话计费器。免费下载

  资源简介：本文具体介绍了怎样利用Intel公司的8051单片机设计和实现一款低成本的可配置性的单路电话计费器。

  标签： Intel 8051 单片机设计 可配置性

  上传时间： 2014-01-18

  上传用户：shawvi

• vtk是一个非常有用的功能强大的可视化开发工具。但它的安装（如何在VC环境下使用此工具开发）却是一间令人头疼的事。该文档详细介绍了vtk的安装免费下载

  资源简介：vtk是一个非常有用的功能强大的可视化开发工具。但它的安装（如何在VC环境下使用此工具开发）却是一间令人头疼的事。该文档详细介绍了vtk的安装，对使用vtk很有帮助

  标签： vtk VC环境 可视化 开发工具

  上传时间： 2014-01-18

  上传用户：gyq

• 很好用的SSL抓包分析工具免费下载

  资源简介：很好用的SSL抓包分析工具，可以完整分析SSL连接流程，帮助调试

  标签： SSL 分

  上传时间： 2013-11-25

  上传用户：jyycc

• 目前最快速的字符串排序算法免费下载

  资源简介：目前最快速的字符串排序算法，1.0版本仅仅支持a-z 26个小写字符

  标签： 字符串 排序算法

  上传时间： 2014-01-10

  上传用户：阳光少年2016

• 非常有用的msn抓包分析工具免费下载

  资源简介：非常有用的msn抓包分析工具，欢迎大家使用。开发环境linux。非常好用，而且非常实用。

  标签： msn 分

  上传时间： 2013-11-25

  上传用户：1101055045

• Tilcon是目前最先进的实时操作系统图形开发工具。同步支持最新版本的Tornado/VxWorks以及WindML多媒体库。适用与VxWorks实时环境下构建虚拟仪表免费下载

  资源简介：Tilcon是目前最先进的实时操作系统图形开发工具。同步支持最新版本的Tornado/VxWorks以及WindML多媒体库。适用与VxWorks实时环境下构建虚拟仪表，实时控制，分布式控制等高级图形应用

  标签： VxWorks Tornado Tilcon WindML

  上传时间： 2016-01-03

  上传用户：gengxiaochao

• 详细描述了PJSIP协议栈中最底层使用的PJLIB库,其中关于OS无关的部分的实现使得PJSIP OS无关,具备了很高的可移植性免费下载

  资源简介：详细描述了PJSIP协议栈中最底层使用的PJLIB库,其中关于OS无关的部分的实现使得PJSIP OS无关,具备了很高的可移植性

  标签： PJSIP PJLIB 协议栈 分

  上传时间： 2016-01-10

  上传用户：dengzb84

• 最简单最快速的二进制数左右颠倒免费下载

  资源简介：最简单最快速的二进制数左右颠倒，本程序来自21ic网友，请注意版权

  标签： 二进制数

  上传时间： 2013-12-20

  上传用户：epson850

• 本人独自开发的土壤计算及分析工具免费下载

  资源简介：本人独自开发的土壤计算及分析工具，涉及土壤分类、污染过程模拟等方面，对土壤分析有重要意义

  标签： 计算 分

  上传时间： 2016-04-18

  上传用户：cjl42111

• 实现了i2c。介绍了代码的可执行性免费下载

  资源简介：实现了i2c。介绍了代码的可执行性，介绍了实现的过程，介绍了verilog程序。

  标签： i2c 代码 可执行

  上传时间： 2016-05-01

  上传用户：894898248

• 国内最著名的品牌电脑商音频测试工具 好好研究。免费下载

  资源简介：国内最著名的品牌电脑商音频测试工具 好好研究。

  标签： 电脑 商 测试工具 音频

  上传时间： 2016-06-21

  上传用户：咔乐坞

• 1.基于Bayes分类的MATLAB程序 2.遗传算法求解函数优化 3.基于Matlab的人工免疫算法 4.空间数据分析中最常用的是聚类分析(k均值算法代码) 5.蚁群算法的matlab源码免费下载

  资源简介：1.基于Bayes分类的MATLAB程序 2.遗传算法求解函数优化 3.基于Matlab的人工免疫算法 4.空间数据分析中最常用的是聚类分析(k均值算法代码) 5.蚁群算法的matlab源码

  标签： MATLAB Matlab matlab Bayes

  上传时间： 2016-06-22

  上传用户：一诺88

• 空间数据分析中最常用的是聚类分析,而K-MEANS算法是聚类分析中常用的,其主要思想是在给定的聚类数目下对多维(我做的是三维空间点)向量进行聚类,免费下载

  资源简介：空间数据分析中最常用的是聚类分析,而K-MEANS算法是聚类分析中常用的,其主要思想是在给定的聚类数目下对多维(我做的是三维空间点)向量进行聚类,

  标签： K-MEANS 聚类分析 聚类 空间数据

  上传时间： 2013-12-29

  上传用户：1051290259

• Windows环境下DSP的开发和语音分析工具SAC免费下载

  资源简介：Windows环境下DSP的开发和语音分析工具SAC

  标签： Windows DSP SAC 环境

  上传时间： 2014-01-06

  上传用户：czl10052678

• 程序名称： 数码管显示与键盘管理芯片ZLG7289的标准驱动程序（C51） 文件名： ZLG7289.h ZLG7289.C 说明： 本程序已经调试通过 程序的可移植性很好免费下载

  资源简介：程序名称： 数码管显示与键盘管理芯片ZLG7289的标准驱动程序（C51） 文件名： ZLG7289.h ZLG7289.C 说明： 本程序已经调试通过 程序的可移植性很好，仅做少量修改就可以直接包含使用 程序占用资源少，仅使用4根必须I/O口线，不占用定时器等其它...

  标签： 7289 ZLG 程序 C51

  上传时间： 2013-12-09

  上传用户：zhangzhenyu