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
Computer Aided Verification
10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings »
10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings »
Advances in Artificial Intelligence
14Th Biennial Conference Of The Canadian Society For Computational Studies Of Intelligence, Ai 2001 Ottawa, Canada, June 7-9, 2001 Proceedings »
14Th Biennial Conference Of The Canadian Society For Computational Studies Of Intelligence, Ai 2001 Ottawa, Canada, June 7-9, 2001 Proceedings »
Idea box
