librarian a book library

A Mathematical Introduction to Logic Unfoldings - A Partial-Order Approach to Model Checking Automata Theory: An Algorithmic Approach Lecture notes for a course on finite and omega-automata Free Choice Petri Nets
Recurrence Sequences Kanalizacya miasta Warszawy jako narzędzie judaizmu i szarlataneryi Invitation to Topological Robotics Awareness Through Movement - Easy-to-Do Health Exercises to Improve Your Posture, Vision, Imagination, and Personal Awareness
The Elusive Obvious Semantics Engineering with PLT Redex Software Metrics - A Rigouros and Practical Approach Three Dialogues on Knowledge

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