fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile

Books · Search

Books by Dexter C. Kozen

Automata and Computability

Machine theory · Computable functions

Automata and Computability

Dexter C. Kozen

2012

Theory of Computation

Theory of Computation

Dexter C. Kozen

2006

Theory of Computation (Texts in Computer Science)

Mathematics · Computational complexity

Theory of Computation (Texts in Computer Science)

Dexter C. Kozen

2006

Design and Analysis of Algorithms

Dexter C Kozen

1991

The Design and Analysis of Algorithms

Computer science · Computer software

The Design and Analysis of Algorithms

Dexter C. Kozen

1992