用ocaml编写的逻辑程序
用ocaml编写的逻辑程序，可以实现formule clausale，和resolution...
逻辑简化技术资料
📦 资源总数：3456
💻 源代码：4289
🔌 电路图：1
📚 逻辑简化全部资料 (3456个)
OPC 开发工具包2.0 OPC工具包是用来简化OPC规范服务器开发的工具包
OPC 开发工具包2.0 OPC工具包是用来简化OPC规范服务器开发的工具包，它是对OPC DA/AE/HDA 诸多规范接口及应用的封装，支持VB/VC/DELPHI/CB/.net语言，支持win...
vb 获得硬盘出厂序列号,不是逻辑盘的序列号
vb 获得硬盘出厂序列号,不是逻辑盘的序列号...
GTK+的libglade编程, 简化了对GTK构件的纯代码编写, 适合刚刚学GTK/glade的人
GTK+的libglade编程, 简化了对GTK构件的纯代码编写, 适合刚刚学GTK/glade的人...
可编程逻辑器件是一种可以通过编程
可编程逻辑器件是一种可以通过编程，改变系统连线，达到系统重构的器件，该器件 可以现场编程，就是说当该器件安装到电路板上后，可以对它的功能进行重新设置，这样 就可以非常方便的进行数字系统的设计与制作...
<数字逻辑与VHDL设计>代码 作者：STEPHEN BROWN
<数字逻辑与VHDL设计>代码 作者：STEPHEN BROWN，ZVONKO VRANESIC 边计年译...
通过批处理文件一步完成新建各种文件的操作。简化常规的操作：“右键→新建→选择文件类型→文件重命名”。可新建的文件类型有txthtmc（++）folder
通过批处理文件一步完成新建各种文件的操作。简化常规的操作：“右键→新建→选择文件类型→文件重命名”。可新建的文件类型有txt\htm\c（++）\folder...
仿人逻辑预测控制器设计
仿人逻辑预测控制器设计，带全套Matlab仿真程序...
一个网上书店系统的数据库商业逻辑实现
一个网上书店系统的数据库商业逻辑实现，内含SQL Server 2003 、 SQL Server 2005源码和SQL Server数据库文件，实现环境是ASP.Net[C#]...
用于逻辑电路设计的PSO算法代码,代码简单明了
用于逻辑电路设计的PSO算法代码,代码简单明了，适合初学者参考...