Электронный каталог

страница из

всего найдено записей: 30,
  отображать
10 записей 20 записей 40 записей

Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.

Everaars C.T.H. Restructuring sequential Fortran code into a parallel/distributed application / C. T.H. Everaars, F. Arbab, F. J. Burger, 1996. - 14 p. - Текст : непосредственный.

Veltkamp R.C. Geometric constraint satisfaction / R. C. Veltkamp, F. Arbab, 1991. - 24 p. - Текст : непосредственный.

Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный.

Arbab F. MANIFOLD: a language for specification of inter-process communication / F. Arbab, I. Herman, 1990. - 16 p. - Текст : непосредственный.

Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.

Reusability of coordination programs / F. Arbab, C. L. Blom, F. J. Burger, C. T.H. Everaars, 1996. - 14 p. - Текст : непосредственный.

Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.

transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.

Arbab F. Examples in Manifold / F. Arbab, I. Herman, 1990. - 25 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

GKS input model in Manifold / D.Soede,F.Arbab,I.Herman,P.J.W. ten Hagen, 1991. - 20 p. - Текст : непосредственный.

Papadopoulos G.A. Coordination models and languages / G.A.Papadopoulos,F.Arbab, 1998. - 55 p. - Текст : непосредственный.

Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный.

Fundamentals of software engineering : 3rd IPM International conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009: revised selected papers / ed. F. Arbab, 2010 r=on-line. - Текст : электронный.

Arbab F. overview of manifold and its implementation / F.Arbab,I.Herman ,P.Spilling, 1991. - 36 с. - Текст : непосредственный.

Arbab F. Coordination of massively concurrent activities / F.Arbab, 1995. - 31 p. - Текст : непосредственный.

International symposium on fundamentals of software engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007: proceedings / ed. F. Arbab, 2007 r=on-line. - Текст : электронный.

Arbab F. Distributed splitting of constraint satisfaction problems / F.Arbab,E.B.G.Monfroy, 2000. - 16 p. - Текст : непосредственный.

Arbab F. coordination language for mobile components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 1999. - 15 p. - Текст : непосредственный.