多核环境下运行了可满足性分析的工具软件，能够使你充分了解多核编程技术...

这是用prolog写的几个程序：程序１是一个旅行社关系系统，程序２是一个家族关系系统，程序３是一个成绩管理系统-This is prolog written several programs : a procedure is a travel agency relations systems, procedures 2 is a family relationship systems, procedures 3 is a performance management system

一个简单的飞行射击类游戏,使用Visual C++引擎开发,已编译.-A simple flight shooting games, the use of Visual C++ Engine development, has been compiled.

利用ICA变换进行人脸检测,是一种新的人脸检测方法-ICA transform the use of face detection, is a new face detection method

这是一本关于机器人硬件开发的书，本书的篇幅虽不太多，但很实用，内容为英文。-This is a book about the development of robotic hardware, books, the book" s length though not too much, but very practical, the content is English.

GCP(图着色问题)的模拟退火算法应用源码-GCP (Graph Coloring Problem) application of the simulated annealing algorithm source code

利用窗体实现堆排序。并能逐一显示堆排序的过程-Using the form to achieve Heap Sort

该程序实现了简单的模糊ARTMAP神经网络算法。SFAM是神经网络分类器，它是简单和快速的模糊ARTMAP版本。-The program implements a simple fuzzy ARTMAP neural network algorithm. SFAM is a neural network classifier, which is simple and fast version of fuzzy ARTMAP.

只是Java版实现的蚁群算法与程序结果演示，是学习和理解蚁群算法的好内容。-Only a Java version of the ant colony algorithm to achieve the results and procedures for the demonstration of learning and understanding better the content of ant colony algorithm.

遗传算法的简单程序，可用于离散变量优化，多目标优化等许多领域-the simple procedure can be used for optimization of discrete variables, such as multi-objective optimization in many areas

数据挖掘概念和技术，电子书，英文版，300多页-Data mining concepts and techniques