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 2002
22nd Ifip WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002proceedings »
22nd Ifip WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002proceedings »
Automated Technology For Verification And Analysis
Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings »
Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings »
Ideeënbus
