university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • SmartCash: a practical electronic payment system Tech Report

    J.N.E. Bos (Jurjen) and D. Chaum (David)

    January 1990
  • The linear time - branching time spectrum Tech Report

    R.J. van Glabbeek (Rob)

    January 1990
  • At last an ISO C binding of GKS Tech Report

    M. Bakker (Miente)

    January 1990
  • thumb

    BASIS: a data structure for adaptive multigrid computations Tech Report

    P.W. Hemker (Piet), H.T.M. van der Maarel (Eric) and C.T.H. Everaars (Kees)

    January 1990
    open access
  • thumb

    A time splitting method for the three-dimensional shallow water equations Tech Report

    E.D. de Goede (Erik)

    January 1990
    open access
  • thumb

    GSE, a generic syntax-directed editor Tech Report

    M.H.H. van Dijk and J.W.C. Koorn

    January 1990
  • A fully abstract model for concurrent nondeterministic processes based on posets with non-actions Tech Report

    L. Cherkasova

    January 1990
  • A new strategy for proving $ omega $ -completeness applied to process algebra Tech Report

    J.F. Groote (Jan Friso)

    January 1990
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close