Formal Methods for Open Object-Based Distributed Systems V
IFIP Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems, March 20-22, 2002, Enschede, the Netherlands »

Origins of a Creole
The History of Papiamentu and Its African Ties »

Fruits and seeds of Dipsacales: Morphology and evolution
 »

Egfr Ligand Expression In Colorectal Cancer, Therapeutic And Prognostic Implications
 »

Uiterst vertrouwelijk
<p>Vlak voor de Eerste Wereldoorlog werden in Nederland geheime diensten opgericht. Ze verzamelden informatie over de dreiging die uitging van het Duitse Kei... »

Democratie onder druk
<p>Wat als een Nederlandse minister politieke tegenstanders aanmerkt als een ‘gevaar voor de nationale veiligheid’ of zelfs als ‘terrorist’? Wie stop... »

The Grand Spring Hunt
Hunting for America's Wild Turkey Gobblers »

Categorical Logic and Type Theory
 »

Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, Volume 141.
 »