CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2013
-
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development In Proceedings
January 2013
-
January 2013
-
De computerlessen op middelbare scholen moeten anders : interview BNR Radio, 29-01-2013 News Broadcast
January 2013
-
Geographically Structured Populations of Cryptococcus neoformans Variety grubii in Asia Correlate with HIV Status and Show a Clonal Population Structure Article
PLoS ONEK. Khayhan, F. Hagen, W. Pan, S. Simwami, M.C. Fisher (Matthew), R. Wahyuningsih, A. Chakrabarti (Arunaloke), A. Chowdhary, R. Ikeda, S.J. Taj-Aldeen, et al. Z. Khan, M. Ip, D. Imran, R. Sjam, P. Sriburee, W. Liao, K. Chaicumper, V. Vuddhakul, W. Meyer, L. Trilles, L.J.J. van Iersel (Leo), J.F. Meis, C.H.W. Klaassen (Corné) and T. Boekhout
January 2013
-
Small Data Lecture
January 2013
-
January 2013
-
January 2013