Most Popular Books
- The Grand Spring Hunt
- Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands
- Introduction to Coalgebra: Towards Mathematics of States and Observation
- Categorical Logic and Type Theory
- Origins of a Creole: The History of Papiamentu and Its African Ties
Series By Bart Jacobs