librarian a book library

Handbook of Automated Reasoning Lectures on Concurrency and Petri Nets Toposes, Algebraic Geometry and Logic Handbook of Tableau Methods
Masterminds of Programming - Conversations with the Creators of Major Programming Languages Logical Frameworks Algebraic Theory of Machines, Languages, and Semigroups Handbook of logic in computer science. Vol. 4: Semantic modelling
Handbook of logic in computer science. Vol. 3: Semantic structures Handbook of logic in computer science. Vol. 2: Background: Computational structures Handbook of logic in computer science. Vol. 5: Logic and algebraic methods Handbook of Graph Grammars and Computing by Graph Transformation

Library Size: 80G (3741 books), Last Updated: Apr 07, 2026, 15:54:53, Build Time: N/A badge
[show logs] [hide logs]