Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:theory_of_computation_courses_and_books [2008/04/03 11:46]
vkuncak
sav08:theory_of_computation_courses_and_books [2010/02/22 01:13] (current)
vkuncak
Line 1: Line 1:
 ====== Theory of Computation Courses and Books ====== ====== Theory of Computation Courses and Books ======
  
-  * [[http://​mtc.epfl.ch/​courses/​TCS-2008/​]] at EPFL 
   * Michael Sipser: Introduction to the Theory of Computation,​ 1987 (take later edition)   * Michael Sipser: Introduction to the Theory of Computation,​ 1987 (take later edition)
   * Harry R. Lewis and Christos H. Papadimitriou:​ Elements of the Theory of Computation,​ Prentice-Hall,​ 1981 (better take this earlier edition than later ones)   * Harry R. Lewis and Christos H. Papadimitriou:​ Elements of the Theory of Computation,​ Prentice-Hall,​ 1981 (better take this earlier edition than later ones)
 
sav08/theory_of_computation_courses_and_books.txt · Last modified: 2010/02/22 01:13 by vkuncak
 
© EPFL 2018 - Legal notice