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 S. Abramsky

Handbook of Logic in Computer Science

Symbolic and mathematical Logic · Computer science

Handbook of Logic in Computer Science

S. Abramsky

1992

Theoretical Foundations of VLSI Design

Integrated circuits, very large scale integration

Theoretical Foundations of VLSI Design

K. McEvoy

2003

Algebraic specification of communication protocols

Computer network protocols · Computer networks

Algebraic specification of communication protocols

C. J. van Rijsbergen

1993

Mammals · Ecology

Patterns in the structure of mammalian communities

Douglas W. Morris

1988

TAPSOFT '91

Computer science · Software engineering

TAPSOFT '91

S. Abramsky

1991

HANDBOOK OF LOGIC IN COMPUTER SCIENCE

S. ABRAMSKY

1992

Lay empowerment in science

R. S. Abramsky

1999

Handbook of Logic in Computer Science Volume 5

S. Abramsky

2000