librarian a book library

Introduction to the Theory of Finite Automata Mathematical Linguistics The Design and Analysis of Algorithms Theory of Computation
Lambda Calculus - Types and Models The Structure of Scientific Revolutions Introduction to Modeling and Analysis of Stochastic Systems Teoria Mnogości
Set Theory with an introduction to descriptive set theory Set Theory Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach Planning Algorithms

Library Size: 80G (3742 books), Last Updated: Apr 08, 2026, 23:11:40, Build Time: N/A badge
[show logs] [hide logs]