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
Logic in Computer Science Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved me... »
Secure Communicating Systems More computer professionals are being confronted with the use, maintenance, or customization of cryptographic components and program certification mechanisms... »