CSCI 6610		  Automata and Formal Languages		     Spring 2004

 				Books on reserve	

		Science Library reserve desk, 2-hour/Overnight loan


  Use GIL (http://gil.uga.edu) and click on "Course Reserves" for
information, by instructor or by course number, on reserve materials.
Brief records from GIL are appended.

  Be careful; e.g., if you click on HU1 the system returns information
on BOTH copies, but only one copy is actually on reserve.

P:	"Computational Complexity" by Papadimitriou  

GJ:	"Computers and intractability" by Garey and Johnson

HU2:	"Intro. to Automata Theory, Languages, and Computation"
	by Hopcroft, Motwani and Ullman, 2e (2001)

HU1:	"Intro. to Automata Theory, Languages, and Computation"
	by Hopcroft and Ullman, 1e (1979)

R:	"Theory of Recursive Functions and Effective Computability"
	by Rogers

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

Author:            Papadimitriou, Christos H.

Title:             Computational complexity

Publisher:         Reading, Mass. : Addison-Wesley, c1994.

Call Number:       QA267.7 .P36 1994

================================================================================

Authors:	   Garey, Michael R. and Johnson, David S., 1945- 

Title:             Computers and intractability : a guide to the theory of
                      NP-completeness

Publisher:         San Francisco : W. H. Freeman, c1979.

Call Number:       QA76.6 .G35

================================================================================

Authors:           Hopcroft, Motwani, and Ullman

Title:             Introduction to Automata Theory, Languages, and
                      Computation-FOR RESERVES

Publisher:         Reading, Mass. : Addison-Wesley, c2001.

Call Number:       SPC R663ia

================================================================================

Authors:           Hopcroft, John E., 1939- and Ullman, Jeffrey D., 1942- 

Title:             Introduction to automata theory, languages, and computation

Publisher:         Reading, Mass. : Addison-Wesley, c1979.

Call Number:       QA267 .H56

================================================================================

Author:            Rogers, H. (Hartley), 1926- 

Title:             Theory of recursive functions and effective computability

Publisher:         Cambridge, Mass. : MIT Press, 1987.

Call Number:       QA9.615 .R64 1987

================================================================================