正正的读书主页
正正的书评 · · · ( 4篇 )
算法部分讲解非常细致
看了有关静态分析的几章，书中有相关算法的讲解，非常细致。总的感觉是适合本科生教学，研究生可能会觉得它有点罗嗦，不够直截了当，切入主题。(1回应)
正正关注的人 · · · ( 全部3 )
最近阅读 · · ·
- 1月9日
- 想读 遇见未知的自己
- 2011年9月12日
- 读过 C++编程思想、C++Primer
- 2011年8月11日
- 在读 Verilog嵌入式数字系统设计教程
- 2011年6月10日
-
在读
深入理解计算机系统
怎样学底层？就是要抓一个例子，比如x86开始学
- 想读 Operating System Concepts, Seventh Edition、Introductory Combinatorics
-
读过
LATEX入门与提高
还行，基本上用的时候都可以翻到，可以入门，可以参考也……
-
想读
具体数学
嗯，看来这是一本讲技巧的书，可以当作《编程之美》来看吧！不过，这个更加侧重数学思维，阅读时要做好玩味数学的准备…… 诚如书名，计算机科学基础的东西也是要一一个啃，靠积累经验直觉的
- 读过 面向计算机科学的数理逻辑系统建模与推理、Language Implementation Patterns
- 2011年4月27日
-
想读
编程卓越之道
关注底层开发
- 2010年10月2日
-
读过
游戏编程中的数理应用(附光盘)
高中水平
- 2010年7月28日
- 想读 现代编译原理-C语言描述
- 2010年7月4日
-
写了Language Implementation Patterns的评论
设计思想
最近比较关注Programming Language Processor方面的书，有大部头深入浅出的龙书，也有精辟的Model Checking，不过真要落到实处，还是需要从一行行代码开始写起。软件理...
-
写了The Definitive Antlr Reference的评论
用户手册
当初在定义C99全语法时很冲动的看了一遍，觉得作者很牛，这东西真是好。不过隔了近半年，看了作者新出的另外一本书，Language Implementation Pattern，发现之前很多没...
- 2010年6月19日
- 读过 少有人走的路Ⅱ
- 2009年12月11日
- 在读 Model Checking
正正的图书豆列 · · · ( 2个 )
-
计算机系研究生必读系列 0人推荐
-
物理引擎 0人推荐
设计思想
最近比较关注Programming Language Processor方面的书，有大部头深入浅出的龙书，也有精辟的Model Checking，不过真要落到实处，还是需要从一行行代码开始写起。软件理论大多晦涩，现有的一些工具实现方式大多古老（比如SPIN是YACC+C，图形上使用的tk／tcl），要开源或者产品化，都需要采用现代化的手段实现，ANTLR就是...(4回应)