cloud1912的专栏

ubuntu 官方权威手册，通讲ubuntu安装和使用，高手必看，最新版本ubuntu11.04版本，新界面，特有unity界面！

MiniSat+ is a two-week hack done to enable MiniSat to compete in the new categories of the SAT 2005 competition. Initially, we intended to support both Pseudo-Boolean constraints (i.e. linear constraints over boolean variables) and circuit based SAT input (as opposed to CNF). However, after we finished the conversion of PB-constraints to SAT, we ran out of steam and never finished the other part.

英文非扫描版，超级经典的书，有想自己牛逼的人有必要看

pdf 扫描版 数字电路EDA入门 vhdl程序集 中文版，北邮出版社

模糊数学讲义 这个应该有用，有关模糊集模糊运算之类的相关。