Search Results - Arbab, Farhad 1952-

  • Showing 1 – 20 results of 20
Filter by
  1. 1
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 2013
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Specification of Manifold
    by Arbab, Farhad 1952-

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Coordination of massively concurrent activities
    by Arbab, Farhad 1952-

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Coordination of massively concurrent activities
    by Arbab, Farhad 1952-

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 2020
    Other Authors: “…Arbab, Farhad 1952-…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  19. 19
    Cover Image

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

    Published 2014
    Other Authors: “…Arbab, Farhad 1952-…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  20. 20
    Cover Image

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

    Published 2020
    Other Authors: “…Arbab, Farhad 1952-…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: