librarian a book library

Modeling and Verification of Real-time Systems Theory of Self-Reproducing Automata Philosophiae Naturalis Principia Mathematica The Mathematical Principles of Natural Philosophy
Invitation to Fixed-Parameter Algorithms Quantum Computation and Quantum Information Principles of Program Analysis Semantics with Applications: An Appetizer
SEMANTICS WITH APPLICATIONS: A Formal Introduction Semantics with Applications: Model-Based Program Analysis Problem Solving Methods in Artificial Intelligence Logic Programming and Prolog

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