shengyushen's academic research
2008年3月7日星期五
进步
好像学会用igoogle了,google reader也很好用
又和前沿技术接近了一步
较新的博文
较旧的博文
主页
订阅:
博文 (Atom)
标签
conference
theorem proving
arch
program language
logic
model checking
idea
operating system
EDA
verification
tech
web
book
done
synthesis
todo
music
sat
searching
smt
favor site
citeseerx
yeeyan
digg
reddit
wikicfp
SIGPLAN
SIGSOFT
OCAML
Web_application_framework
负暄琐话
coq ref manual
coq lib reference
wikipedia
订阅
博文
Atom
博文
所有评论
Atom
所有评论
博客归档
►
2012
(24)
►
二月
(13)
►
一月
(11)
►
2011
(56)
►
十二月
(11)
►
十一月
(22)
►
十月
(3)
►
九月
(3)
►
八月
(16)
►
三月
(1)
►
2010
(9)
►
四月
(1)
►
二月
(7)
►
一月
(1)
►
2009
(3)
►
十二月
(2)
►
三月
(1)
▼
2008
(84)
►
十二月
(1)
►
十一月
(5)
►
十月
(77)
▼
三月
(1)
进步
►
2007
(1)
►
七月
(1)