Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Open Access
    Krikhaar, R. (1999). Software architecture reconstruction. [Thesis, externally prepared, Universiteit van Amsterdam].
  • Bergstra, J. A., & van Vlijmen, S. F. M. (1998). Theoretische software-engineering: kenmerken, faseringen en classificaties. (Quaestiones Infinitae; Vol. 28). Zeno, the Leiden - Utrecht research institute of philosophy.
  • 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., & 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., & 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
  • Bergstra, J. A., & Ponse, A. (1998). Grid protocol specifications. In Propects for hardware foundations (pp. 278-309). (LNCS; No. 1546). Springer Verlag GmbH.
  • Bergstra, J. A., & Ponse, A. (1998). Two recursive generalisations of iteration in process algebra. WINS (oud WINS).
Page 30 of 37