Treffer 1 – 13 von 13 für Suche 'Winskel, Glynn', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Events in computation

    Events in computation von Winskel, Glynn

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction von Winskel, Glynn

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Domain theoretic models of polymorphism

    Domain theoretic models of polymorphism von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Category theory and models for parallel computation

    Category theory and models for parallel computation von Winskel, Glynn

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the composition and decompositionof assertions

    On the composition and decompositionof assertions von Winskel, Glynn

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Petri nets, event structures and domains

    Petri nets, event structures and domains von Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction von Winskel, Glynn

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction von Winskel, Glynn

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    DI-domains as a model of polymorphism

    DI-domains as a model of polymorphism von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A complete proof system for SCCS with modal assertions

    A complete proof system for SCCS with modal assertions von Winskel, Glynn

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Petri nets, algebras and morphisms

    Petri nets, algebras and morphisms von Winskel, Glynn

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Synchronisation trees

    Synchronisation trees von Winskel, Glynn

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Petri nets, event structures and domains

    Petri nets, event structures and domains von Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: