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
Formal Techniques For Networked And Distributed Systems - Forte 2005
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings »
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings »
Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings »
Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings »
