登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • AT89LS8252
    ATMEL单片机的规格书,AT89LS8252.pdf,需要的朋友可以下载来看看(ATMEL microcontroller specifications, AT89LS8252.pdf, need to take a look at a friend can be downloaded)
    2009-11-28 17:57:48下载
    积分:1
  • Windows+WDM+driver
    这是Windows Driver Model(WDM)一书中各个章节的所有示例源代码。 (This is the Windows Driver Model (WDM), a book of all the examples of the various sections of the source code.)
    2008-07-15 12:57:16下载
    积分:1
  • C_xcorr
    使用c语言实现信号自相关,有文件输入输出函数使用(Use c language auto-correlation signal has the file input and output functions use)
    2016-05-10 15:14:14下载
    积分:1
  • CPLD_FPGA
    CPLD_FPGA的入门资料.pdf格式,非常清晰.不可多得的入门级资料.(CPLD_FPGA introductory information. Pdf format, is very clear. A rare entry-level information.)
    2009-11-23 11:09:48下载
    积分:1
  • Quickref
    Old, but very good "look-it-up" book for programming in VC++ MFC, brief and straight-to-the-point. I found it rather useful. Excellent for beginners.
    2009-06-24 00:31:29下载
    积分:1
  • GNSS
    这本书延伸科学畅销书“全球定位系统 - 理论与实践”,以涵盖全球导航卫星系统(GNSS),包括俄罗斯GLONASS,欧洲伽利略系统,以及其他系统。书是指在一般意义到GNSS来描述各种现有参考系统的坐标和时间,卫星轨道,卫星信号,可观察,数学模型的定位,数据处理,和数据转换。本书是一本大学级入门教材,目的是作为学生的参考以及为专业人士和科学家在大地测量领域,测量工程,导航和相关学科。(This book extends the scientific bestseller GPS- Theory and Practice to cover Global Navigation Satellite Systems (GNSS) and includes the Russian GLONASS, the European system Galileo, and additional systems. The book refers to GNSS in the generic sense to describe the various existing reference systems for coordinates and time, the satellite orbits, the satellite signals, observables, mathematical models for positioning, data processing, and data transformation. This book is a university-level introductory textbook and is intended to serve as a reference for students as well as for professionals and scientists in the fields of geodesy, surveying engineering, navigation, and related disciplines.)
    2016-09-24 16:59:09下载
    积分:1
  • Que
    定义循环队列,完成队列的基本操作:入队和出队等(Defined circular queue, the queue to complete the basic steps: into the team and the teams)
    2011-06-04 10:39:56下载
    积分:1
  • C_Primercode
    我收藏了好久的资料!C++ Primer的随书源代码(I am a long time data collection! C++ Primer of source code with the book)
    2010-05-12 12:49:55下载
    积分:1
  • c
    说明:  关于C++基础知识,献给刚开始接触程序编辑,以及计算机编程(C++ based on the knowledge, access to programs dedicated to the beginning of editing, and computer programming)
    2010-07-05 00:05:40下载
    积分:1
  • erf
    这是一个用C语言编写的计算误差函数的程序。其主要特点是从定义出发,具有很好的参考价值。(This is a use of C language procedures for calculating the error function. Its main characteristic is that from the definition, has a very good reference value.)
    2021-04-06 20:39:02下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载