Treffer 1 – 6 von 6 für Suche 'Tarasjuk, Igorʹ V.', Suchdauer: 0,02s 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
    Discrete time stochastic Petri box calculus

    Discrete time stochastic Petri box calculus von Tarasjuk, Igorʹ V.

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Equivalences for concurrent and distributed systems

    Equivalences for concurrent and distributed systems von Tarasjuk, Igorʹ V.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Investigating equivalence relations in dtsPBC

    Investigating equivalence relations in dtsPBC von Tarasjuk, Igorʹ V.

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Equivalences for modular performance analysis in dtsPBC

    Equivalences for modular performance analysis in dtsPBC von Tarasjuk, Igorʹ V.

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC

    Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC von Tarasjuk, Igorʹ V.

    Veröffentlicht 2010
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Equivalence notions for design of concurrent systems using Petri nets

    Equivalence notions for design of concurrent systems using Petri nets von Tarasjuk, Igorʹ V.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: