Zoekresultaten
Resultaat 1 - 2 (van 2)
M.T. Dashti | A.J. Wijs Pruning state spaces with extended beam search
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
H. Jonker | S.K. Nair | M.T. Dashti Nuovo DRM Paradiso: formal specification and verification of a DRM protocol
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek