- Compiler Design: Syntactic and Semantic Analysis Reinhard Wilhelm Helmut Seidl Sebastian Hack Fri 10 April 2020
- The C++ Programming Language, 4th Edition Bjarne Stroustrup Fri 10 April 2020
- Psychoacoustics: Facts and Models Hugo Fastl Eberhard Zwicker Fri 10 April 2020
- Quantifier Elimination and Cylindrical Algebraic Decomposition Bob F. Caviness Jeremy R. Johnson Fri 10 April 2020
- Descriptive Complexity Neil Immerman Fri 10 April 2020
- Automata Theory and its Applications Bakhadyr Khoussainov Anil Nerode Fri 10 April 2020
- Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic Alan P. Parkes Fri 10 April 2020
- Programming in Prolog: Using the ISO Standard William F. Clocksin Christopher S. Mellish Fri 10 April 2020
- The Catalan Language in the Digital Age Georg Rehm Hans Uszkoreit Fri 10 April 2020
- The Icelandic Language in the Digital Age Georg Rehm Hans Uszkoreit Fri 10 April 2020
- The Portuguese Language in the Digital Age Georg Rehm Hans Uszkoreit Fri 10 April 2020
- Tracking the Automatic ANT: And Other Mathematical Explorations David Gale Fri 10 April 2020
- Indiscrete Thoughts Gian-Carlo Rota Fri 10 April 2020
- Control of Discrete-Event Systems: Automata and Petri Net Perspectives Jörg Raisch Carla Seatzu Manuel Silva Jan H. van Schuppen Fri 10 April 2020
- The Collected Works of J. Richard Büchi Saunders Mac Lane Dirk Siefkes Fri 10 April 2020
- The Universal Turing Machine A Half-Century Survey Andrew Hodges Rolf Herken Fri 10 April 2020
- Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter \Ohrstrøm F. V. Per Hasle Fri 10 April 2020
- Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions Yves Bertot Pierre Castéran Fri 10 April 2020
- Evolutionary Computer Music PHIL HUSBANDS PETER COPLEY ALICE ELDRIDGE JAMES MANDELIS Fri 10 April 2020
- Principles of the Spin Model Checker Mordechai Ben-Ari Fri 10 April 2020
Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
