@book{AroraBarak:CompComplex, title = "Computational Complexity: A Modern Approach", author = "Sanjeev Arora and Boaz Barak", address = "Cambridge, UK", publisher = "Cambridge University Press", year = "2009", } @book{Cooper:CT, title = "Computability Theory", author = "S. Barry Cooper", address = "Boca Raton, FL", publisher = "CRC Press", year = "2004", } @book{CoverThomas:EIT, title = "Elements of Information Theory", author = "Thomas Cover and Joy Thomas", address = "New Jersey", publisher = "John Wiley \& Sons", year = "2006", } @book{Lamport:LaTeX, title = "LaTeX: A Document Preparation System", author = "Leslie Lamport", edition = "2", publisher = "Addison-Wesley", year = "1994", } @book{Mackay:ITILA, title = "Information Theory, Inference, and Learning Algorithms", author = "David J. C. Mackay", address = "Cambridge, UK", origyear = "2003", publisher = "Cambridge University Press", year = "2004" } @book{Nies:C&R, title = "Computability and Randomness", author = "André Nies", address = "New York", origyear = "2009", publisher = "Oxford University Press", year = "2012" } @book{Petzold:AT, title = "The Annotated Turing", author = "Charles Petzold", address = "Indianapolis", publisher = "Wiley Publishing", year = "2008", } @book{Russel:Norvig:AIMA, title = "Artificial Intelligence -- A Modern Approach", author = "Stuart Russel and Peter Norvig", address = "New Jersey", edition = "2", origyear = "1995", publisher = "Pearson Education", year = "2003" } @book{Sipser:ITC, title = "Introduction To The Theory of Computation", author = "Michael Sipser", address = "Boston, MA, U.S.", edition = "3", publisher = "Cengage Learning", year = "2021", }