Search results

Records found: 265  
Your query: Publisher = "CWI"
 In the basket (0)

  1. 1.More examples in Manifold

    TitleMore examples in Manifold
    Author Herman I
    Co-authors Arbab F
    Issue dataAmsterdam : CWI , 1992. - 34 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  2. 2.Comutable processes and bisimulation equivalence

    TitleComutable processes and bisimulation equivalence
    Author Ponse A.
    Issue dataAmsterdam : CWI , 1992. - 28 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  3. 3.Closed G -continuous cubic B'ezier surfaces

    TitleClosed G -continuous cubic B'ezier surfaces
    Author Veltkamp Remco C.
    Issue dataAmsterdam : CWI , 1992. - 20 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  4. 4.XlnPosse: Structural simulation for graphics hardware

    TitleXlnPosse: Structural simulation for graphics hardware
    Author Guravage M.A.
    Co-authors Blake E. H.
    Kuijk A.A.M.
    Issue dataAmsterdam : CWI , 1992. - 12 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  5. 5.Turning SOS rules into equations

    TitleTurning SOS rules into equations
    Author Aceto L.
    Co-authors Bloom B.
    Vaandrager F. W.
    Issue dataAmsterdam : CWI , 1992. - 44 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  6. 6.Bisimulation semantics for concurrency with atomicity and action refinement

    TitleBisimulation semantics for concurrency with atomicity and action refinement
    Author Bakker J.W. de
    Co-authors Vink de E.P.
    Issue dataAmsterdam : CWI , 1992. - 31 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  7. 7.Specification of Manifold

    TitleSpecification of Manifold : Version 1.0
    Author Arbab F
    Issue dataAmsterdam : CWI , 1992. - 64 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  8. 8.Provably recursive programs

    TitleProvably recursive programs
    Author Fernando T.
    Issue dataAmsterdam : CWI , 1992. - 9 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  9. 9.Formal specification of Manifold: a preliminary study

    TitleFormal specification of Manifold: a preliminary study
    Author Rutten E.P.B.M.
    Co-authors Arbab F
    Herman I
    Issue dataAmsterdam : CWI , 1992. - 34 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

  10. 10.A comparison of OBJ3 and ASF+SDF

    TitleA comparison of OBJ3 and ASF+SDF
    Author Eker S.M.
    Issue dataAmsterdam : CWI , 1992. - 24 s.
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all