- Kyoto Lonely Planet Guide Lonely Planet Fri 10 April 2020
- Lambda-Calculus and Computer Science Theory - Proceedings of the Symposium held in Rome, March 25-27 1975 AAVV Fri 10 April 2020
- The Paradoxical Brain AAVV Fri 10 April 2020
- Perspectives on the History of Mathematical Logic AAVV Fri 10 April 2020
- A Half-Century of Automata Theory AAVV Fri 10 April 2020
- Encyclopedia of the Solar System AAVV Fri 10 April 2020
- Sibelius 7 Tutorials AAVV Fri 10 April 2020
- Validation of Stochastic Systems - A Guide to Current Research AAVV Fri 10 April 2020
- Lectures on Petri Nets II: Applications - Advances in Petri Nets AAVV Fri 10 April 2020
- Lectures on Petri Nets I: Basic Models - Advances in Petri Nets AAVV Fri 10 April 2020
- Handbook of Automated Reasoning AAVV Fri 10 April 2020
- Lectures on Concurrency and Petri Nets AAVV Fri 10 April 2020
- Toposes, Algebraic Geometry and Logic AAVV Fri 10 April 2020
- Handbook of Tableau Methods AAVV Fri 10 April 2020
- Masterminds of Programming - Conversations with the Creators of Major Programming Languages AAVV Fri 10 April 2020
- Logical Frameworks AAVV Fri 10 April 2020
- Algebraic Theory of Machines, Languages, and Semigroups AAVV Fri 10 April 2020
- Handbook of logic in computer science. Vol. 4: Semantic modelling [4] AAVV Fri 10 April 2020
- Handbook of logic in computer science. Vol. 3: Semantic structures AAVV Fri 10 April 2020
- Handbook of logic in computer science. Vol. 2: Background: Computational structures [2] AAVV Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
