Treffer 1 – 10 von 10 für Suche 'Springintveld, Jan', Suchdauer: 0,05s 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
    Focus points and convergent process operators

    Focus points and convergent process operators von Groote, Jan F., Springintveld, Jan

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Algorithms for type theory = Algorithmen voor typentheorie

    Algorithms for type theory = Algorithmen voor typentheorie von Springintveld, Jan

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Exploiting symmetry in protocol testing

    Exploiting symmetry in protocol testing von Romijn, Judi M. T., Springintveld, Jan

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Third-order matching in the presence of type constructors

    Third-order matching in the presence of type constructors von Springintveld, Jan

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A computer-checked verification of Milner's scheduler

    A computer-checked verification of Milner's scheduler von Korver, Henri P., Springintveld, Jan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Focus points and convergent process operators

    Focus points and convergent process operators von Groote, Jan F., Springintveld, Jan G.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Third-order matching in the polymorphic lambda calculus

    Third-order matching in the polymorphic lambda calculus von Springintveld, Jan

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Algorithms for type theory = Algoritmen voor typentheorie

    Algorithms for type theory = Algoritmen voor typentheorie von Springintveld, Jan

    Veröffentlicht 1994
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A computer-checked verification of Milner's scheduler

    A computer-checked verification of Milner's scheduler von Korver, Henri P., Springintveld, Jan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Lower and upper bounds for reducations of types in lō and lP

    Lower and upper bounds for reducations of types in lō and lP von Springintveld, Jan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: