Reasoning about Java programs higher order logic using PVS and Isabelle
 »

Wat is Lupus (LE)
 »

Meta Products
Meta Products, Building The Internet Of Things »

75 Tools for Creative Thinking
A Fun Card Deck for Creative Inspiration »

Assessment of rock mass decasy in artificial slopes
 »

Socioeconomic inequalities in health in Europe
 »

Queer geschiedenis van Nederland
<p>In Queer geschiedenis van Nederland onderzoekt Marijke Huisman de rijke geschiedenis van de regenbooggemeenschap. Toen Nederland in 2001 als eerste land h... »

Verhalen van vrijheid
Om de publieke opinie tegen slavenhandel en slavernij te keren, namen voormalige slaven soms zelf het woord. In het Engelse taalgebied verschenen er vanaf de... »

Zuid-Afrikaanse wijsheden
Dit boekje bevat een aantal wijsheden uit Zuid-Afrika, vertaald naar het Nederlands en waar nodig, voorzien van een verklaring achterin. Ze zijn verzameld do... »

Queer geschiedenis van Nederland
<p>In Queer geschiedenis van Nederland onderzoekt Marijke Huisman de rijke geschiedenis van de regenbooggemeenschap. Toen Nederland in 2001 als eerste land h... »