Loading Blog Search...

Wednesday, September 22, 2004

[ResearchRec]: Books read and Online Resources

Some book won't give me any appetite to have. Reversely, I cannot help buying and placing some books on my shelf. Maybe you are interested in them, maybe not. Check out what I read and some online resources I like, leave your comments if you like them too.

  • Automata, Language, Logic
    • Introduction to Automata Theory, Languages, and Computation: brought by John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. It's one of my textbooks in Southeast Univ. The most comprehensive one for both beginners and researhers.
    • Formal Syntax and Semantics of Programming Languages: from Ken Slonneger. I found it just now, here is its eversion. Seems interesting.
    • Introduction to Functional Programming by John Harrison, actually it's a lecture notes. this is the best one i have seen that explains how to move from lambda calcus to ML in a so simple way.


Hemant said...

Ya I read the later one
I liked it, thought not upto some great hights

Li-Zhao 李钊 said...

ya, it is more like a practical guide. lack of theoretical deepness make it a bit boring.