- Certified Programming with Dependent Types Adam Chlipala Fri 10 April 2020
- Introduction to Mathematical Logic Alonzo Church Fri 10 April 2020
- Supersizing the Mind - Embodiment, Action, and Cognitive Extension Andy Clark Fri 10 April 2020
- Model Checking Edmund Clarke Doron Peled Orna Grumberg Fri 10 April 2020
- The Secret Life of Glenn Gould - A Genius in Love Michael Clarkson Fri 10 April 2020
- Portrait Photography Mark Cleghorn Fri 10 April 2020
- 1177 B.C. - The Year Civilization Collapsed Eric H. Cline Fri 10 April 2020
- Groups of Cohomological Dimension One Daniel E. Cohen Fri 10 April 2020
- Collins French Grammar Collins Fri 10 April 2020
- Combinatorial Species and Tree-like Structures François Bergeron Gilbert Labelle Pierre Leroux Margaret Readdy Fri 10 April 2020
- Regular Algebra And Finite Machines John Conway Fri 10 April 2020
- On Numbers and Games J. H. Conway Fri 10 April 2020
- Alan Turing's Automatic Computing Engine - The Master Codebreaker's Struggle to Build the Modern Computer Jack Copeland Fri 10 April 2020
- The Essential Turing - Seminal Writings in Computing Logic Philosophy Artificial Intelligence and Artificial Life plus The Secrets of Enigma Jack Copeland Fri 10 April 2020
- On the Revolutions of Heavenly Spheres Nicolaus Copernicus Fri 10 April 2020
- Graph Structure and Monadic Second-Order Logic, a Language Theoretic Approach Bruno Courcelle Joost Engelfriet Fri 10 April 2020
- Elements of Information Theory Thomas Cover Joy Thomas Fri 10 April 2020
- Using Algebraic Geometry David A. Cox John Little Donal O'Shea Fri 10 April 2020
- Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra David A. Cox John Little Donal O'Shea Fri 10 April 2020
- Jewels of stringology Maxime Crochemore Wojciech Rytter Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
