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
 »

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... »

Collectief in boeken
Boeken zijn al eeuwen verweven met idealen over kennis, cultuur en democratie. Tegelijkertijd zijn boeken gewoon dingen die gemaakt, vervoerd en verkocht moe... »

Item nonresponse: occurence, causes and imputation of missing answers to test items
 »