Zoekresultaten voor: *
Resultaat 1 - 2 (van 2)
Centrum voor Wiskunde en Informatica Symmetry and partial order reduction techniques in model checking Rebeca
Non-fictie
Engels | 30 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Centrum voor Wiskunde en Informatica Robust numerical methods for boundary-layer equations for a model problem of flow over a symmetric curved surface
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek