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 Robert Veroff

Data abstraction and problem solving with C++

C++ (Computer program language) · Problem solving

Data abstraction and problem solving with C++

Frank M. Carrano

1995

Automated reasoning and its applications

Automatic theorem proving · Artificial intelligence

Automated reasoning and its applications

Larry Wos

1997

Data structures and problem solving with Turbo Pascal

Turbo Pascal (Computer file) · Pascal (Computer program language)

Data structures and problem solving with Turbo Pascal

Frank M. Carrano

1992

Automated Reasoning and Its Applications

Automated Reasoning and Its Applications

Robert Veroff

1997

I/G Walls & Mirrors

I/G Walls & Mirrors

Paul Helman

1988