- 127 Hours: Between a Rock and a Hard Place Aron Ralston Wed 29 April 2020
- Endurance: Shackleton's Incredible Voyage Alfred Lansing Sun 19 April 2020
- The Endurance: Shackleton's Legendary Journey to Antarctica Caroline Alexander Sun 19 April 2020
- Asymptotic methods in analysis MCap N. G. de Bruijn Fri 17 April 2020
- Differential and Difference Dimension Polynomials M. V. Kondratieva A. B. Levin A. V. Mikhalev E. V. Pankratiev Tue 14 April 2020
- Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Peter M. Schuster Monika Seisenberger Andreas Weiermann Mon 13 April 2020
- Differential Algebra \& Related Topics P. Cassidy Li Guo William F. Keigher Phyllis J. Cassidy William Y. Sit Sun 12 April 2020
- Cardinal and ordinal numbers Sierpinski W. Fri 10 April 2020
- Difference Algebra Richard M. Cohn Fri 10 April 2020
- Automata-theoretic aspects of formal power series Arto Salomaa Marti Soittola Fri 10 April 2020
- Handbook of Model Checking N/A Fri 10 April 2020
- Semirings, Automata, Languages Werner Kuich Arto Salomaa Fri 10 April 2020
- An Introduction to Description Logic Franz Baader Ian Horrocks Carsten Lutz Uli Sattler Fri 10 April 2020
- Enumerative combinatorics [2] Richard P. Stanley Sergey Fomin Fri 10 April 2020
- A Second Course in Formal Languages and Automata Theory Jeffrey Shallit Fri 10 April 2020
- The mathematical theory of context-free languages Seymour Ginsburg Fri 10 April 2020
- Semantics of Programming Languages and Model Theory Manfred Droste Yuri Gurevich Fri 10 April 2020
- Trattato di semiotica generale Umberto Eco Fri 10 April 2020
- Berlitz Pocket Guide Madeira Berlitz Fri 10 April 2020
- Dizionario della stupidità: fenomenologia del non-senso della vita Piergiorgio Odifreddi Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
