Treffer 1 – 16 von 16 für Suche 'Ochsenschläger, Peter', 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
    Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen

    Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen von Ochsenschläger, Peter, Prinoth, Rainer

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Produktnetze e. formales Beschreibungsmittel f. kooperierende Systeme

    Produktnetze e. formales Beschreibungsmittel f. kooperierende Systeme von Burkhardt, Heinz Jürgen, Ochsenschläger, Peter, Prinoth, Rainer

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Binomialkoeffizienten in freien Monoiden

    Binomialkoeffizienten in freien Monoiden von Ochsenschläger, Peter

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Binomialkoeffizienten in freien Monoiden

    Binomialkoeffizienten in freien Monoiden von Ochsenschläger, Peter

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Kompositionelle Verifikation kooperierender Systeme

    Kompositionelle Verifikation kooperierender Systeme von Ochsenschläger, Peter 1950-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Entwurf und Analyse von Produktnetzen

    Entwurf und Analyse von Produktnetzen von Faltin, Ute, Ochsenschläger, Peter, Paule, Christa

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Eine Bemerkung über unsichere Kommunikation

    Eine Bemerkung über unsichere Kommunikation von Baumgarten, Bernd 1948-, Ochsenschläger, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Binomialkoeffizienten in freien Monoiden

    Binomialkoeffizienten in freien Monoiden von Ochsenschläger, Peter

    Veröffentlicht 1981
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Binomialkoeffizienten in freien Monoiden

    Binomialkoeffizienten in freien Monoiden von Ochsenschläger, Peter

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Schlichte Homomorphismen auf präixstabilen partiell kommutativen Sprachen

    Schlichte Homomorphismen auf präixstabilen partiell kommutativen Sprachen von Ochsenschläger, Peter

    Veröffentlicht 1997

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    The SH-verrification tool

    The SH-verrification tool von Nitsche, Ulrich 1965-, Ochsenschläger, Peter, Repp, Jürgen

    Veröffentlicht 1996

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen

    Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen von Ochsenschläger, Peter

    Veröffentlicht 1996

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Modellierung verteilter Systeme Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

    Modellierung verteilter Systeme Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen von Ochsenschläger, Peter

    Veröffentlicht 1995
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Product nets a formal description technique for cooperating systems

    Product nets a formal description technique for cooperating systems von Burkhardt, Heinz Jürgen, Ochsenschläger, Peter, Prinoth, Rainer

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Checkpoint-/ Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen

    Checkpoint-/ Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen von Baumgarten, Bernd 1948-, Ochsenschläger, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Checkpoint-/ Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen

    Checkpoint-/ Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen von Baumgarten, Bernd 1948-, Ochsenschläger, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: