有限状态机 方面的书
《Introduction to the Theory of Computation 》即《计算理论导引》Michael Sipser
【说明】推荐这些书，仅仅是因为自己看过后，觉得好。希望对大家有帮助。推荐的原则是可以看懂，并且值得反复看几遍。
【书籍推荐】
1 C语言
(1)《C与指针》
推荐理由：非常基础和经典。虽然叫C与指针，但不全是讲指针。与很多C基础类书籍，如《C Plus Primer》，互补。值得看5遍的书籍。这个类型，还有几本书，如《C++沉思录》（正在看，建议去图书馆借着看，个人感觉不很易懂），建议先去图书馆借着看，感觉好再买。
习题补充解答下载地址：http://download.csdn.net/detail/tandesir/4906463
(2)《C语言接口与实现》
推荐理由：包含了包含了库函数（异常、内存管理、链表、集合、字符串等）的实现方法。
源码下载地址：http://download.csdn.net/detail/tandesir/4976311
(3) 《C嵌入式编程设计模式》
推荐理由：针对嵌入式设计的C语言模式实现。本书的设计模式本身很基础，但可以通过本书了解一些函数指针的框架。建议先去图书馆借着看看。
推荐博客(C设计模式)：http://blog.csdn.net/sx_wpc/article/category/1163563，很久没见更新了，期待有新文章
(4) 《测试驱动的嵌入式C语言开发》
推荐理由：测试驱动，对测试感兴趣的可以看一下，本书旨在减小甚至消除编程过程中，产生Bug的情况。
源码下载地址：http://download.csdn.net/detail/tandesir/4977661
(5) 《系统程序员成长计划》
推荐理由：国内的一本书，包含了通用链表、动态数组、栈与队列等的实现，以及内存管理、状态机处理文本等。关键是源码很不错，足见作者的编码功底。想深入了解函数指针用法的朋友可以看一看。
源码下载地址：http://download.csdn.net/detail/tandesir/4869670
2 C++
(1) 《C++ Primer》
推荐理由：这本书可以作为工具书，都说很经典，但实际上能坚持完整的看上两遍的人恐怕不多。
(2) 《Effective C++-改善程序设计的55个具体实现》
推荐理由：还没看完，讲的都是修炼C++的武功秘籍。
(3) 《More Effective C++-35个改善编程与设计的方法》
推荐理由：和《Effective C++-改善程序设计的55个具体实现》同样经典。
(4) 《C++ Qt Gui编程》
推荐理由：Qt C++入门经典
(5) 《提高C++性能的编程技术》
推荐理由：部分章节写得不错，如果图书馆有，就不要购买了。
(6) 《设计模式》- 刘伟
推荐理由：虽然是国内的一本书，但可以看出，作者很用心。C++的设计模式。
3 Linux及驱动开发
(1) 《Linux设备驱动开发详解》
推荐理由：可以作为设备驱动开发的工具书使用。
(2) 《Linux设备驱动程序》
推荐理由：很经典的著作。还没看完。
(3) 《Linux C程序设计大全》
推荐理由：非常全面的一本书。
4 Java
(1) 《重构-改善既有代码的设计》
推荐理由：看了3遍，非常受用。
(2) 《大话设计模式》
推荐理由：重构和设计模式是Java的经典著作。原《设计模式》一书，感觉有些晦涩(但带了一个案例)，还是这本书比较好懂。
5 HTML5
(1) 《HTML5与CSS3权威指南》
推荐理由：少有的HTML5的好书。
6 Shell
(1) 《Linux Shell 脚本攻略》
推荐理由：案例驱动式的书籍。
7 PHP
(1) 《PHP设计模式》
推荐理由：代码非常不错。
源码下载地址：http://download.csdn.net/detail/tandesir/4906443
8 Verilog HDL
(1) 《Verilog HDL入门》
推荐理由：学FPGA，先学语言。很不错的书。
(2) 其他资料
黑金动力社区： http://www.heijin.org/
《Verilog 那些事儿》
《Nios II那些事儿》
推荐理由：很用心在做自己的教学产品。
9 SQL
(1) 《MySQL必知必会》
推荐理由：SQL的畅销书
10 Socket编程
(1) 《Windows Sockets网络编程》
推荐理由：WinSocket的经典书籍，介绍详细全面。
(2) 《TCP/IP Sockets编程（C语言实现）》
推荐理由：Linux C实现的sockets编程，书不是很厚，看起来也不会头疼。呵呵