librarian a book library

readme
Działka moje hobby Transgressive Computing The Anti-Inflammatory Guidebook Perennial Gardening: A Simple But Yet Perfect Collection Of Guides For Beginners To Start Gardening
Itineraries for the province of Reggio Calabria - Culture and Archaeology Itineraries for the province of Reggio Calabria - Trekking Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures Enumeration and Design
Helsinki Nuove Effemeridi - Franco Battiato Encyclopedia of Algorithms Mathematical Control Theory I: Nonlinear and Hybrid Control Systems
Applications of Categories in Computer Science History of Programming Languages-III Formal and Natural Computing Honoring the 80th Birthday of Andrzej Ehrenfeucht 200 Problems in Formal Languages and Automata Theory
Complexity, Logic, and Recursion Theory History of Topology Computational Logic: Logic Programming and Beyond Theory Is Forever - Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Handbook of Constraint Programming Advanced Topics in Types and Programming Languages New Trends in Formal Languages - Control, Cooperation, and Combinatorics Advanced Topics in Bisimulation and Coinduction
Category Theory at Work Time for Verification - Essays in Memory of Amir Pnueli Temporal Logic in Specification Programmin Methodology
Communicating Sequential Processes - The First 25 Years Lambda-Calculus and Computer Science Theory - Proceedings of the Symposium held in Rome, March 25-27 1975 The Paradoxical Brain Perspectives on the History of Mathematical Logic
A Half-Century of Automata Theory Encyclopedia of the Solar System Sibelius 7 Tutorials Validation of Stochastic Systems - A Guide to Current Research
Lectures on Petri Nets II: Applications - Advances in Petri Nets Lectures on Petri Nets I: Basic Models - Advances in Petri Nets Handbook of Automated Reasoning Lectures on Concurrency and Petri Nets
Toposes, Algebraic Geometry and Logic Handbook of Tableau Methods Masterminds of Programming - Conversations with the Creators of Major Programming Languages Logical Frameworks
Algebraic Theory of Machines, Languages, and Semigroups Handbook of logic in computer science. Vol. 4: Semantic modelling Handbook of logic in computer science. Vol. 3: Semantic structures Handbook of logic in computer science. Vol. 2: Background: Computational structures
Handbook of logic in computer science. Vol. 5: Logic and algebraic methods Handbook of Graph Grammars and Computing by Graph Transformation Finite State Based Models and Applications Advances in Dynamic Game Theory - Numerical Methods, Algorithms, and Applications to Ecology and Economics
Stochastic and Differential Games - Theory and Numerical Methods Dynamic Games: Theory and Applications Terese Lite History of Programming Languages
Markov Decision Processes in Artificial Intelligence - MDPs, Beyond MDPs and Applications Logic Methodology and Philosophy of Science Writing History - Theory and Practice Ultimate Guide to Ableton Live
Handbook of Process Algebra Handbook of Markov Decision Processes - Methods and Applications 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 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 Abstract interpretation of declarative languages Handbook of Game Theory with Economical Applications
Handbook of Game Theory with Economical Applications Handbook of Game Theory with Economical Applications Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Verification: Theory and Practice - Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Idempotency Handbook of Formal Languages - Volume 1 - Word, Language, Grammar Handbook of Theoretical Computer Science - Volume A - ALGORITHMS AND COMPLEXITY The Handbook of Morphology
Automata Studies The Legacy of John von Neumann Lonely Planet Discover Spain The Best Writing on Mathematics 2011
The Best Writing on Mathematics 2012 The Best Writing on Mathematics 2013 Model-theoretic logics The Princeton Companion to Applied Mathematics
The Best Writing on Mathematics 2014 A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday Lonely Planet Spain Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Lonely Planet Spain \& Portugal's Best Trips The Cambridge Companion to Electronic Music Alfred Tarski. Early work in Poland - geometry and teaching The Best Writing on Mathematics 2015
The Best Writing on Mathematics 2010 The Best Writing on Mathematics 2017 England The Best Writing on Mathematics 2016
The Best Writing on Mathematics 2018 Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege Handbook of the History of Logic. Volume 07: Logic and the Modalities in the Twentieth Century Handbook of Mathematical Logic
Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic Handbook of the History of Logic. Volume 02: Mediaeval and Renaissance Logic Handbook of the History of Logic. Volume 04: British Logic in the Nineteenth Century Finite and algorithmic model theory
Pillars of Computer Science Handbook of Proof Theory Stochastic games and applications Berlin Travel Guide
Jazz Piano - Level 1 Brussels Escapades The Rough Guide to India The Origins of Language - Unraveling Evolutionary Forces
Colloquial and Literary Latin Little Words India - Lonely Planet Towards a History of the Basque Language
Czech Republic - Lonely Planet Lonely Planet - Italy Lonely Planet Southern Italy (Travel Guide) Serbian \& Greek Art Music

Library Size: 80G (136 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]