- Handbook of Satisfiability AAVV Fri 10 April 2020
- Handbook of Formal Languages - Volume 3 - BEYOND WORDS [3] AAVV Fri 10 April 2020
- Handbook of Formal Languages - Volume 2 - LINEAR MODELING: BACKGROUND AND APPLICATION [2] AAVV Fri 10 April 2020
- From Semantics to Computer Science - Essays in Honour of Gilles Kahn AAVV Fri 10 April 2020
- Journal fur die reine und agewandte Mathematik AAVV Fri 10 April 2020
- L Systems AAVV Fri 10 April 2020
- 25 Years of Model Checking - History, Achievements, Perspectives AAVV Fri 10 April 2020
- The Description Logic Handbook - Theory, implementation, and applications AAVV Fri 10 April 2020
- Topics in Discrete Mathematics AAVV Fri 10 April 2020
- Model-Based Testing of Reactive Systems AAVV Fri 10 April 2020
- Handbook of Scheduling - Algorithms, Models, and Performance Analysis AAVV Fri 10 April 2020
- Handbook of Modal Logic [3] AAVV Fri 10 April 2020
- Computational Logic: Logic Programming and Beyond [1] AAVV Fri 10 April 2020
- MHRA Style Guide - A HANDBOOK FOR AUTHORS, EDITORS, AND WRITERS OF THESES AAVV Fri 10 April 2020
- Data on the Web - From Relations to Semistructured Data and XML Serge Abiteboul Peter Buneman Dan Suciu Fri 10 April 2020
- Abstract interpretation of declarative languages AAVV Fri 10 April 2020
- Reactive Systems Modelling, Specification and Verification Luca Aceto Anna Ingolfsdottir Kim G. Larsen Jiri Srba Fri 10 April 2020
- Non-Well-Founded Sets Peter Aczel Fri 10 April 2020
- Locally Presentable and Accesible Categories Jiri Adamek Jiri Rosicky Fri 10 April 2020
- Automata and Algebras in Categories Jiri Adamek Vera Trnkova Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
