Zoekresultaten
Resultaat 1 - 4 (van 4)
J.F. Groote | S.P. Luttik A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
S. Marsman | C.W. Duin | A. Volgenant The dynamic predicate stashing copy problem and the Steiner problem in graphs
Non-fictie
Engels | 11 pagina's | Universiteit van Amsterdam, Institute of Actuarial Science & Econometrics, Amsterdam | 1998
Gedrukt boek
C. Shankland | M. van der Zwaag The tree identify protocol of IEEE 1394 in →m⇋CRL
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Roel de Vrijer Conditional linearization
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Amsterdam | 1998
Gedrukt boek