Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,791
Number of items: 216,791
  • Dinesh, T. B., & Uskudarli, S. M. (1996). The VAS formalism in VASE. (Technical Report; No. P9609). onbekend (FdL).
  • Hillebrand, J. A. (1996). A small language for the specification of Grid Protocols. (Technical Report; No. P9608). onbekend (FdL).
  • Brunekreef, J. J. (1996). A transformation tool for pure Prolog programs: the algebraic specification. (Technical Report; No. P9607). onbekend (FdL).
  • Visser, E. (1996). Solving type equations in multi-level specifications (preliminary version). (Technical Report; No. P9606). onbekend (FdL).
  • D'Argenio, P. R., & Verhoef, C. (1996). A general conservative extension theorem in process algebras with inequalities. (Technical Report; No. P9605). onbekend (FdL).
  • Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives (revised version of P9602). (Technical Report; No. P9602b). onbekend (FdL).
  • Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives. (Technical Report; No. P9602). onbekend (FdL).
  • Visser, E. (1996). Multi-level specifications. (Technical Report; No. P9604). onbekend (FdL).
  • Olivier, P. A. (1996). Embedded system simulation: testdriving the ToolBus. (Technical Report; No. P9601). onbekend (FdL).
  • van den Berg, C. A., van den Boomgaard, R., Worring, M., Koelma, D. C., & Smeulders, A. W. M. (1996). Horus: integration of digital vision and database paradigms. In R. Jain, & A. W. M. Smeulders (Eds.), Proceedings of the First international workshop on image databases and multimedia search, Amsterdam (pp. 226-234).
Page 19636 of 21680