librarian a book library

Automatic Program Development - A Tribute to Robert Paige A 25-Year Perspective on Logic Programming Modal Logic and Process Algebra - A Bisimulation Perspective Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS
Algorithmic Bioprocesses Lectures in Game Theory for Computer Scientists Handbook of Satisfiability Handbook of Formal Languages - Volume 3 - BEYOND WORDS
Handbook of Formal Languages - Volume 2 - LINEAR MODELING: BACKGROUND AND APPLICATION From Semantics to Computer Science - Essays in Honour of Gilles Kahn Journal fur die reine und agewandte Mathematik L Systems

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