The books tag has no wiki summary.
13
votes
7answers
485 views
Pointers for CS applications of logic
I'm a grad student in math with a solid background in logic. I've taken a year-long graduate course in logic together with graduate courses on finite model theory and another on forcing and set ...
21
votes
4answers
1k views
Handbook of advanced data structures
I am looking for a book on advanced data structures that goes beyond what is covered in standard textbooks like Cormen, Leiserson, Rivest, and Stein's "Introduction to Algorithms".
A book that can be ...
20
votes
4answers
480 views
Language and automata textbook, free or low cost?
I'll be teaching a standard undergraduate class on languages and automata next semester, and would prefer to use a legitimate free or low-cost text. Any suggestions?
I love the Sipser text but the ...
2
votes
1answer
166 views
Recommendation for a good book on first order logic w.r.t inductive logic programming
I have had 10 days to read up on Computational Logic but the books I am following are only succeeding in confusing me. I find most of text's ( Niehuys-Cheng & de Wolf 1997, De Raedt 2008, Lloyd ...
24
votes
12answers
2k views
Book on Probability
While I have passed some courses on probability theory, both in the high school and the university, I have a hard time reading TCS papers when it comes to probability.
It seems that the authors of ...
1
vote
0answers
283 views
Pattern recognition - book recommendation [closed]
I'm looking to learn pattern recognition in order to write my BSc thesis, but I can't seem to decide on a book. I narrowed it down to 2 books: Sergios Theodoridis, Konstantinos Koutroumbas - Pattern ...
0
votes
0answers
224 views
Recommendation for a operating system book bound to linux [closed]
i need to refresh my knowledge of operating systems theory.
I know that much theory is OS indipendent, but eventually I would
to practice with an actual OS. The OS has to be linux.
I need a book ...
2
votes
2answers
412 views
What are good books for learning grammar ( BNF )?
I'm taking a basic course on programming language theory, and we're covering context-free grammar (BNF). Personally, I'm really interested in how to design syntax for a programming language. I'm ...
2
votes
0answers
337 views
Texts on application of randomized algorithms
as far as I know, Motwani & Raghavan, ”Randomized Algorithms”, Cambridge University Press, 1995 is the standard book for randomized algorithms. This is an excellent theoretical intro.
Which is ...
0
votes
2answers
817 views
Book recommendations for CompSci related math
Searching for good textbooks on math related to Computer Science I bought two german books yet, but found them not to be easily understandable and not suitable for self-study . German textbooks are ...
6
votes
1answer
832 views
TCS online library
My question isn't really related to TCS itself, it's more about technical and informational equipment of a computer scientist.
There is a website SafariBooksOnline by O'Reilly Media where anyone can ...
7
votes
9answers
709 views
Resources to learn about the P vs. NP problem
I was recently reminded about the $\mathsf{P}$ vs. $\mathsf{NP}$ problem as explained by Stephen A. Cook on Clay Mathematics Institute.
It has piqued my interest and I would like to learn more about ...
3
votes
2answers
710 views
What are “$\mu$-recursive functions” and $\mu$-calculus?
I saw in this question a reference to $\mu$-recursive functions or $\mu$-calculus as some computation model equivalent to Turing machines and $\lambda$-calculus. I know about these two but never heard ...
62
votes
29answers
5k views
What are the recent TCS books whose drafts are available online?
Following the post What Books Should Everyone Read, I noticed that there are recent books whose drafts are available online.
For instance, the Approximation Algorithms entry of the above post cites ...
12
votes
5answers
3k views
Books on programming language semantics
I've been reading Nielson & Nielson's "Semantics with Applications", and I really like the subject. I'd like to have one more book on programming language semantics -- but I really can get only ...
0
votes
2answers
984 views
What is the best text of computation theory/theory of computation?
In University we used the Sipser text and while at the time I understood most of it, I forgot most of it as well, so it of course didn't leave all to great of an impression. I borrowed that book and ...
111
votes
34answers
31k views
What Books Should Everyone Read?
[Timeline]
This question has the same spirit of what papers should everyone read and what videos should everybody watch. It asks for remarkable books in different areas of theoretical computer ...
7
votes
1answer
648 views
Photo of «Introduction to automata…» by Hopcroft and Ullman '79 cover?
Where can I get the photo of “Introduction to automata theory, languages and computation” by Hopcroft and Ullman '79 (first edition) cover in order to be able to read all the phrases placed on the ...
