一本讲述linux软件之父 李纳斯.托沃兹 的书
标签： linux 软件 纳
上传时间： 2013-12-19
上传用户：LIKE
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
相信有很多朋友遇到这样的问题,本来能在线下载lpc932,可下载自己的程序后,发现再也不能下载了,这是因为系统无法进入在线编程了,只能用CP932重新烧写,那时很麻烦的,把本段程序放在你程序里就可以解决问题了.
标签： 932 程序 lpc
上传时间： 2015-03-09
上传用户：chfanjiang
WinAsm32的确是一本好的教材,不管你是初学者,还是高手,都能从它里面学到很多的东西.
标签： WinAsm 32 教材 初学者
上传用户：ruixue198909
Win32汇编编程系列 本帮助文件由yyc个人整理后出版，内容全摘自网络。版权归实际作者所有。 为了让网友们能更好的学习Win32汇编编程，于是我为大家将网上的资料整理成一个帮助文件。 本帮助文件包括：Iczelion的Win32汇编教程、Iczelion 的 ODBC 教程、Iczelion 的 VxD 教程共三部分
标签： Win yyc 32 汇编
上传用户：qb1993225
一本关于VFP的EBOOK，比较好。
标签： EBOOK VFP
上传用户：tzl1975
关于jsp开发的一本不可多得的好书
标签： jsp
上传时间： 2014-11-03
上传用户：wweqas
一本了解计算机网络安全的书籍，供参考和学习用
标签： 计算机 网络安全 书籍
上传时间： 2013-12-17
上传用户：trepb001
学习j2ee的一本好书
标签： j2ee
上传用户：zuozuo1215
本银行系统涉及到多线程，Socket编程，和Singleton设计模式。源玛注释齐全，有说明文档，并附开发过程的UML设计图。仅供学习参考，望多多指教。
标签： 多线程
上传时间： 2015-03-10
上传用户：dianxin61
