librarian a book library

Computational Category Theory Mathematical Logic in the 20th Century Cosmos The Cosmic Connection
Elements of Automata Theory Computation and Automata Formal Languages HDR Photography Secrets
Introduction to Bisimulation and Coinduction The Pi-calculus: a Theory of Mobile Processes Foundations of Algebraic Specification and Formal Software Development Gomorra

Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04, Build Time: N/A badge
[show logs] [hide logs]