Suchergebnisse - Panangaden, Prakash 1954-

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

    Semantics of digital networks containing indeterminate modules
    von Keller, Robert M., Panangaden, Prakash 1954-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Type theory and concurrency
    von Cleaveland, Rance, Panangaden, Prakash 1954-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Labelled Markov processes
    von Panangaden, Prakash 1954-

    Veröffentlicht 2009
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Labelled Markov processes
    von Panangaden, Prakash 1954-

    Veröffentlicht 2009
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Labelled Markov processes
    von Panangaden, Prakash 1954-

    Veröffentlicht 2009
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Mathematical techniques for analyzing concurrent and probabilistic systems
    von Rutten, J. J. M. M., Kwiatkowska, Marta, Norman, Gethin

    Veröffentlicht 2004
    Weitere beteiligte Personen: “… Panangaden, Prakash 1954- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: