-
SAT
sat的合取范式与析取范式的可满足问题()(sat in the CNF and DNF of the satisfiability problem ())
- 2010-11-06 13:22:22下载
- 积分:1
-
现代电力系统分析.rar
说明: 王锡凡先生写的现代电力系统分析,研究生教材(Modern Power System Analysis, Graduate Textbook by Mr. Wang Xifan)
- 2021-02-17 23:59:45下载
- 积分:1
-
inside VC++
VC++技术内幕,学习VC++必备的书籍(technology, learning VC++ essential books)
- 2005-03-11 09:15:43下载
- 积分:1
-
cprogram900
超经典c编程900例 从最基本的到高难度的(Ultra 900 cases of classic c programming from the most basic to the difficult)
- 2007-09-30 10:38:58下载
- 积分:1
-
CPPxzcagsa
非常好的资料,比较详细,是一个体系,希望对大家有帮助C++面试题(Very good information, more detailed, is a system, we hope to help C++ face questions)
- 2013-05-02 00:41:46下载
- 积分:1
-
WinCImage
说明: 源码 for "C語言數位影像處理" 吳上力 編譯(Source code for "C language digital image processing")
- 2009-07-24 11:10:54下载
- 积分:1
-
Bezier
利用MFC进行bezier曲线、曲面的绘制,并能拖曳控制点改变曲线形状,还有升阶的功能,最后利用bezier曲线绘制了符号@(Use MFC bezier curves were plotted surfaces, and can drag the control points to change the shape of the curve, as well as bands or function. Finally, bezier curve drawing the symbol @)
- 2021-04-05 18:39:03下载
- 积分:1
-
DFAScan
已知一个正则表达式,把它转化为dfa,nfa转化为dfa,dfa最小化 完全可以用,很好很强大!(Given a regular expression, put it into a dfa, nfa into dfa, dfa minimization can use, very very powerful!)
- 2020-11-08 19:59:48下载
- 积分:1
-
lunwen
两篇关于模型简化的博士论文,对于研究模型简化方面的很有用。(2 on a simplified model of doctoral thesis research model for the simplification of very useful.)
- 2008-06-24 11:46:20下载
- 积分:1
-
WINDOWS
windows核心编程,学软件必备的书本之一(windows-core programming, learning software, one of the essential books)
- 2009-10-24 09:35:38下载
- 积分:1