librarian


Introduction to formal language theory Michael A. Harrison	Adapting Proofs-as-Programs : The Curry-Howard Protocol Iman Poernomo John N. Crossley Martin Wirsing	Mathematical Snapshots Hugo Steinhaus	Building bridges between mathematics and computer science Grotschel M Katona G O (eds )

Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering Ian Foster	Etymological dictionary of Proto-Indo European language DNGHU ADSOQIATION	Introduction to natural history of language T. G. Tucker	Game Theory Guillermo Owen

Schaum's outline of calculus of finite differences and difference equations Murray Spiegel	Dictionaries in Early Modern Europe: Lexicography and the Making of Heritage John Considine	Colloquial Catalan: A Complete Course for Beginners (Colloquial Series) Alexander Ibarz Toni Ibarz	Apollo Fritz Graf

Library Size: 80G (3742 books), Last Updated: Apr 08, 2026, 23:11:40, Build Time: N/A

[show logs] [hide logs]