- The Modern Algebra of Information Retrieval Sándor Dominich Fri 10 April 2020
- UNIX Text Processing Dale Dougherty Tim O'Really Fri 10 April 2020
- Introduction to the Theory of Programming Languages Gilles Dowek Jean-Jacques Levy Fri 10 April 2020
- The Beethoven Sonatas and the Creative Experience Kenneth Drake Fri 10 April 2020
- Tame Topology and O-minimal Structures Lou van den Dries Fri 10 April 2020
- Theory of Computational Complexity Ding-Zhu Du Ker-I Ko Fri 10 April 2020
- Problem Solving in Automata, Languages, and Complexity Ding-Zhu Du Ker-I Ko Fri 10 April 2020
- Concentration of Measure for the Analysis of Randomized Algorithms Devdatt Dubhashi Alessandro Panconesi Fri 10 April 2020
- Topology James Dugundji Fri 10 April 2020
- Finite Model Theory Heinz-Dieter Ebbinghaus Jorg Flum Fri 10 April 2020
- Mathematical Logic Heinz-Dieter Ebbinghaus Jorg Flum Wolfgang Thomas Fri 10 April 2020
- Ernst Zermelo - An Approach to His Life and Work Heinz-Dieter Ebbinghaus Volker Peckhaus Fri 10 April 2020
- Measure, Topology, and Fractal Geometry Gerald Edgar Fri 10 April 2020
- Automata, Languages and Machines Samuel Eilenberg Fri 10 April 2020
- Relativity - The Special and General Theory Albert Einstein Fri 10 April 2020
- Asteroids, Meteorites, and Comets - Revised Edition Linda T. Elkins-Tanton Fri 10 April 2020
- Elements Of Set Theory Herbert Enderton Fri 10 April 2020
- A Mathematical Introduction to Logic Herbert Enderton Fri 10 April 2020
- Unfoldings - A Partial-Order Approach to Model Checking Javier Esparza Keijo Heljanko Fri 10 April 2020
- Automata Theory: An Algorithmic Approach Lecture notes for a course on finite and omega-automata Javier Esparza Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
