Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers »
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers »
Stacs 2002
19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan Les Pins, France, March 14-16, 2002, Proceedings »
19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan Les Pins, France, March 14-16, 2002, Proceedings »
Agent-Oriented Software Engineering Ii
Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions »
Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions »
Idea box
