librarian a book library

Complexity, Logic, and Recursion Theory History of Topology Computational Logic: Logic Programming and Beyond Theory Is Forever - Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Handbook of Constraint Programming Advanced Topics in Types and Programming Languages New Trends in Formal Languages - Control, Cooperation, and Combinatorics Advanced Topics in Bisimulation and Coinduction
Category Theory at Work Time for Verification - Essays in Memory of Amir Pnueli Temporal Logic in Specification Programmin Methodology

Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]