librarian a book library

25 Years of Model Checking - History, Achievements, Perspectives The Description Logic Handbook - Theory, implementation, and applications Topics in Discrete Mathematics Model-Based Testing of Reactive Systems
Handbook of Scheduling - Algorithms, Models, and Performance Analysis Handbook of Modal Logic Computational Logic: Logic Programming and Beyond MHRA Style Guide - A HANDBOOK FOR AUTHORS, EDITORS, AND WRITERS OF THESES
Data on the Web - From Relations to Semistructured Data and XML Abstract interpretation of declarative languages Reactive Systems Modelling, Specification and Verification Non-Well-Founded Sets

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