librarian a book library

The Probabilistic Method Constrained Markov Decision Processes Domains and Lambda-Calculi Automata Theory with Modern Applications
Under a Lucky Star Compiling with Continuations The Objective-C Programming Language From Logic Programming to Prolog
Verification of Sequential and Concurrent Programs Relational and XML Data Exchange - Synthesis Lectures on Data Management Physics Basic Topology

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