Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Open Access
    de Leeuw, K. M. M. (2000). Cryptology and statecraft in the Dutch Republic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Bergstra, J. A., & Loots, M. E. (1999). Software mechanics for java multi-threading. Technical Report P9906. WINS (oud WINS).
  • Bergstra, J. A., & Ponse, A. (1999). Process algebra with five-valued logic. Australian Computer Science Communications, 21, 128-143.
  • Open Access
    Krikhaar, R. (1999). Software architecture reconstruction. [Thesis, externally prepared, Universiteit van Amsterdam].
  • Bergstra, J. A., & Klint, P. (1998). Theorie en logica eruit, het bedrijfsleven erin. Automatisering gids.
  • Bergstra, J. A., & Klint, P. (1998). Informatica moet eigen weg kiezen. Automatisering gids.
  • van Vlijmen, S. F. M. (1998). Algebraic specification in action. [Thesis, fully external, Univ. v. Utr.].
  • Bergstra, J. A., & Stefanescu, G. (1998). Network algebra with demonic relation operators. Revue Roumaine de Mathematiques pure et appliquees, Tome 42(5-6), 57-88.
  • Bergstra, J. A., & Ponse, A. (1998). Kleene's tree-valued logic and process algebra. Information Processing Letters, 67, 95-103. https://doi.org/10.1016/S0020-0190(98)00083-0
  • Bergstra, J. A., & Klint, P. (1998). The discrete time toolbus- A software coordination architecture. Science of Computer Programming, 31, 205-229. https://doi.org/10.1016/S0167-6423(97)00021-X
Page 30 of 38