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 ».
Computer Aided Verification 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 »