Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
