Suchergebnisse - Arbab, Farhad 1952-

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

    Examples in Manifold
    von Arbab, Farhad 1952-, Herman, Ivan

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    MANIFOLD: a language for specification of inter-process communication
    von Arbab, Farhad 1952-, Herman, Ivan

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Special section on International Software Product Line Conference 2010
    von Arbab, Farhad 1952-, Arbab, Farhad 1952-

    Veröffentlicht 2013
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Coordination models and languages
    von Papadopoulos, George A., Arbab, Farhad 1952-

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Formal specification of Manifold: a preliminary study
    von Rutten, E. P., Arbab, Farhad 1952-, Herman, I.

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Specification of Manifold
    von Arbab, Farhad 1952-

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Geometric constraint satisfaction
    von Veltkamp, Remco C., Arbab, Farhad 1952-

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Geometric reasoning: a new paradigm for processing geometric information
    von Wing, Jeannette M. 1956-, Arbab, Farhad 1952-

    Veröffentlicht 1985
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Coordination of massively concurrent activities
    von Arbab, Farhad 1952-

    Veröffentlicht 1995
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Manray: a replicated workers program in Manifold
    von Spilling, P., Arbab, Farhad 1952-

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    An object model for multimedia programming
    von Arbab, Farhad 1952-

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    An overview of manifold and its implementation
    von Arbab, Farhad 1952-, Herman, I., Spilling, P.

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Coordination of heterogeneous distributed cooperative constraint solving
    von Arbab, Farhad 1952-

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Coordination of massively concurrent activities
    von Arbab, Farhad 1952-

    Veröffentlicht 1995
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    More examples in Manifold
    von Herman, I., Arbab, Farhad 1952-

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Specification of manifold: Version 1.0
    von Arbab, Farhad 1952-

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    An overview of manifold and its implementation
    von Arbab, Farhad 1952-

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019 : proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Arbab, Farhad 1952- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Formal aspects of component software: (FACS 2011 selected & extended papers)

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Arbab, Farhad 1952- …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Arbab, Farhad 1952- …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: