The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
3answers
294 views

Good books on parser theory?

One of my Java projects is a fork of parboiled, and unlike, say, Antlr or JavaCC, parsers are generated at runtime. Grammars generated are Parsing Expression Grammars, or PEGs (I hear another term for ...
0
votes
0answers
100 views

Complexity Book with Slides

Is there a good book on complexity theory (upper level undergraduate and/or graduate) that comes with slides prepared either by the author or by someone else (but that are specifically tailored to ...
1
vote
0answers
67 views

Good references for understanding the underlying abstractions/ideas of functional programming?

What are some good references, not very dense, to understand the underlying math and computability aspects of the notion of "functional programming"? I'd like to have something that talks about it ...
5
votes
0answers
117 views

Where to find the latest book releases on theoretical computer science?

I was wondering if there is an online source where I can find the latest book releases on theoretical computer science issues? And I mean quality books and papers on new and upcoming issues from ...
9
votes
1answer
349 views

Best sources for communication complexity

What are some of the best sources (books and papers) to motivate and learn communication complexity on its own and in connection with its relation to computational complexity theory?
4
votes
1answer
145 views

Are there any books containing collections of automata problems?

You can find specialized books consisting entirely or problems from particular math domains (e.g. linear algebra, polynomials, combinatorics), but I've yet to find such a book for automata of any ...
4
votes
0answers
219 views

Heuristic algorithm design techniques

I am looking for a good relatively complete and up-to-date book or survey about heuristic algorithm design techniques.
11
votes
7answers
691 views

Handbook of advanced algorithms

I am looking for resources (preferably a handbook) on advanced topics in algorithms (topics beyond what is covered in algorithms textbooks like CLRS and DPV). The type of material that can be used ...
20
votes
11answers
2k views

What are the popular science books that inspire TCS?

There is a reputation, that in computer science, we do not have popular science books. Of course that's not really true! (In the same spirit of list of What Books Should Everyone Read?, What papers ...
13
votes
7answers
675 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 ...
23
votes
4answers
2k 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
527 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 ...
10
votes
2answers
521 views

Introductory resources on Computational Learning Theory

Recently I've been reading a decent number of CoLT papers. Although I don't struggle with the individual papers (at least not more than I usually struggle with other theory papers), I don't feel I ...
7
votes
3answers
404 views

Resource / book for recent advances in statistical learning theory

I'm quite familiar with the theory behind VC-Dimension, but I'm now looking at the recent (last 10 years) advances in statistical learning theory: (local) Rademacher averages, Massart's Finite Class ...
2
votes
1answer
193 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 ...
29
votes
14answers
4k 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
350 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 ...
2
votes
2answers
618 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
359 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 ...
1
vote
2answers
1k 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
881 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 ...
10
votes
10answers
954 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
843 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 ...
75
votes
33answers
10k 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 ...
18
votes
5answers
4k 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 ...
1
vote
2answers
3k 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 ...
143
votes
34answers
56k 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
862 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 ...