- Concrete Semantics - A Proof Assistant Approach Tobias Nipkow Gerwin Klein Fri 10 April 2020
- Algorithmic Game Theory Noam Nisan Tim Roughgarden Eva Tardos Vijay Vazirani Fri 10 April 2020
- Mathematics of Choice - How to Count without Counting Ivan Niven Fri 10 April 2020
- The Invisible Computer Donald Norman Fri 10 April 2020
- Emotional Design - Why we Love or Hate everyday things Donald Norman Fri 10 April 2020
- Markov Chains J. R. Norris Fri 10 April 2020
- More games of no chance Richard Nowakowski Fri 10 April 2020
- Kama Sutra for One Richard O'Nan Pamela Paln Fri 10 April 2020
- Real-World Haskell Bryan O'Sullivan John Goerzen Don Stewart Fri 10 April 2020
- Classical Recursion Theory Piergiorgio Odifreddi Fri 10 April 2020
- Automata, Logic and Games Luke Ong Fri 10 April 2020
- Basic Category Theory Jaap van Oosten Fri 10 April 2020
- Neuroscience in the Age of Complexity Franco F. Orsucci Nicoletta Sala Fri 10 April 2020
- The Physiological Mechanics of Piano Technique Otto Ortmann Fri 10 April 2020
- An Introduction To Game Theory Martin Osborne Fri 10 April 2020
- A Course in Game Theory Martin J. Osborne Ariel Rubinstein Fri 10 April 2020
- American Normal - The Hidden World of Asperger Syndrome Lawrence Osborne Fri 10 April 2020
- Measure and Category John C. Oxtoby Fri 10 April 2020
- Two Dozen Short Lessons in Haskell - A participatory textbook on functional programming Rex Page Fri 10 April 2020
- Labelled Markov Processes Prakash Panangaden Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A