登录
首页 » Visual C++ » SAT

SAT

于 2010-11-06 发布 文件大小:712KB
0 170
下载积分: 1 下载次数: 23

代码说明:

  sat的合取范式与析取范式的可满足问题()(sat in the CNF and DNF of the satisfiability problem ())

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 通过85个实例全面讲述了应用MFC进行Visual C++编程的思想 VC and MFC
    本书通过85个实例全面讲述了应用MFC进行Visual C++编程的思想。每个实例均以编写一个应用程序要走的步骤编写。全书共分四部分进行介绍,是基础知识,讲述用户界面的实例,讲述MFC内部处理方面的实例,讲述打包实例。(the book through 85 examples on the application of comprehensive MFC Visual C Programming for the idea. Each case were preparing an application to take steps to prepare. The book is divided into four parts, is the foundation of knowledge about the user interface example, about the internal processing MFC example, about packing case.)
    2020-06-26 09:20:02下载
    积分:1
  • Large-Scale-Cp2Bp2B-Software-Design
    大规模的c++开发学习,c++必学书籍,英文书籍(large scale c++ software develop)
    2015-12-25 15:51:00下载
    积分:1
  • gaozhiliangc++biancheng
    这是一本关于C++编程的指导电子书,比较适合初学者使用~!(This is the one on the C++ Programming guide e-books, are more suitable for beginners to use ~!)
    2008-08-06 13:31:12下载
    积分:1
  • Spherical-shell-model
    利用ansys进行球壳的建模,可以用来模拟液体储罐的大型工业结构的分析计算(Ansys modeled using a spherical shell, can be used to simulate large-scale industrial structure analysis and calculation of liquid storage tanks.)
    2021-01-20 20:48:41下载
    积分:1
  • VC++DataBase(Word)
    此书籍提供了常用的vc与数据库连接的方法,包括ADO,ODBC,DAO,并且书中提供了详细的实例。(This book provides a commonly used vc with the database connection methods, including ADO, ODBC, DAO, and the book provides a detailed example.)
    2008-08-06 10:31:13下载
    积分:1
  • GasStation
    该加油站管理系统,通过前台软件对后台数据库进行操作(The gas station management system, through the front of the back-end database software to operate)
    2010-01-24 02:17:39下载
    积分:1
  • 深入编程内幕——Visual C++(初级)
    深入编程内幕——Visual C++(初级)(depth Programming Insider-- Visual C (Junior))
    2005-05-10 20:43:18下载
    积分:1
  • Internetdisk
    C++.NET网络与通信高级编程范例》光盘(C++.NET disk)
    2009-12-10 14:16:59下载
    积分:1
  • SAT
    sat的合取范式与析取范式的可满足问题()(sat in the CNF and DNF of the satisfiability problem ())
    2010-11-06 13:22:22下载
    积分:1
  • MT500
    MT500是山特公司该型号的UPS后备电源的使用说明和编程的解析 (MT500 is UPS with ShanTe company,this is using and expleam)
    2009-02-24 17:58:13下载
    积分:1
  • 696518资源总数
  • 106010会员总数
  • 4今日下载