Treffer 1 – 5 von 5 für Suche 'Moller, Faron', 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
    Modelling computing systems mathematics for computer science

    Modelling computing systems mathematics for computer science von Moller, Faron 1962-, Struth, Georg ca. 20. / 21. Jh

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes

    A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes von Hirshfeld, Yoram, Jerrum, Mark 1955-, Moller, Faron

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verification of parallel systems via decomposition

    Verification of parallel systems via decomposition von Groote, Jan F., Moller, Faron

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Modelling computing systems mathematics for computer science

    Modelling computing systems mathematics for computer science von Moller, Faron, Struth, Georg ca. 20. / 21. Jh

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


    Gespeichert in:
  5. 5
    Axioms for concurrency

    Axioms for concurrency von Moller, Faron

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: