Theoretical Computer Science

Academic Press (External organisation)
de Bakker, J. W. (Member)
2000
Activity: Membership › Academic
European Educational Forum (External organisation)
de Bakker, J. W. (Member)
2000
Activity: Membership › Academic
Katholieke Universiteit Nijmegen (External organisation)
Klop, J. W. (Member)
2000
Activity: Membership › Academic
NVTI (Nederlandse Vereniging voor Theoretische Inf (External organisation)
Klop, J. W. (Member)
2000
Activity: Membership › Academic
Combining Probabilistic Choice and Action Refinement in a Metric Setting
den Hartog, J. I. (Speaker)
20 Jul 2000
Activity: Lecture / Presentation › Academic
ACM (External organisation)
Klop, J. W. (Member)
2000
Activity: Membership › Academic
Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)
de Bakker, J. W. (Member)
28 Aug 1989 → 2012
Activity: Membership › Academic

Activities