Related Books
Language: en
Pages: 1006
Pages: 1006
Type: BOOK - Published: 1994 - Publisher: Mit Press
"Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teac
Language: en
Pages: 2269
Pages: 2269
Type: BOOK - Published: 1990 - Publisher: Mit Press
"Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teac
Language: en
Pages: 1296
Pages: 1296
Type: BOOK - Published: 2005-11-15 - Publisher: Elsevier Science
Presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification
Language: en
Pages: 1014
Pages: 1014
Type: BOOK - Published: 1990-09-12 - Publisher: Elsevier
This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of
Language: en
Pages: 1273
Pages: 1273
Type: BOOK - Published: 1994 - Publisher: