Treffer 1 – 8 von 8 für Suche 'Frauenstein, Thomas', 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
    Objektorientierte Sprachkonzepte und diskrete Simulation Klassifikation, Vergleich und Bewertung von Konzepten der Programmiersprachen Simula 67, Modula 2, Pascal, Smalltalk 80 und Beta aus objektorientierter Sicht vor dem Hintergrund des Anwendungsgebietes der diskreten Simulation

    Objektorientierte Sprachkonzepte und diskrete Simulation Klassifikation, Vergleich und Bewertung von Konzepten der Programmiersprachen Simula 67, Modula 2, Pascal, Smalltalk 80 und... von Frauenstein, Thomas, Pape, Uwe 1936-2023, Wagner, Olaf

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Congruence proofs for weak bisimulation equivalences on higher order process calculi

    Congruence proofs for weak bisimulation equivalences on higher order process calculi von Baldamus, Michael, Frauenstein, Thomas

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Eine dienstorientierte applikative Prozeßsprache und ihre Fundierung durch den Pi-Kalkül

    Eine dienstorientierte applikative Prozeßsprache und ihre Fundierung durch den Pi-Kalkül von Frauenstein, Thomas

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Funktionale Prozeßsprachen höherer Ordnung

    Funktionale Prozeßsprachen höherer Ordnung von Frauenstein, Thomas

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Bisimulation congruence for the call by value lambda-calculus

    Bisimulation congruence for the call by value lambda-calculus von Frauenstein, Thomas, Glas, Rainer

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi

    Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi von Frauenstein, Thomas, Baldamus, Michael, Glas, Rainer

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On the semantics of a concurrency monad with choice and services

    On the semantics of a concurrency monad with choice and services von Frauenstein, Thomas, Grieskamp, Wolfgang, Südholt, Mario

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Typisierung applikativer Anbieter-Klienten-Prozesse

    Typisierung applikativer Anbieter-Klienten-Prozesse von Frauenstein, Thomas

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: