librarian a book library

Linear system theory: the state space approach Compiler Design: Syntactic and Semantic Analysis The C++ Programming Language, 4th Edition Psychoacoustics: Facts and Models
Quantifier Elimination and Cylindrical Algebraic Decomposition Descriptive Complexity Automata Theory and its Applications Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
Programming in Prolog: Using the ISO Standard The Catalan Language in the Digital Age The Icelandic Language in the Digital Age The Portuguese Language in the Digital Age

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