著者典拠情報

著者標目形：
Joseph, Mathai, 1943-
属性：
Personal
日付：
1943-
から見よ参照形：
Joseph, M.
注記：
South East Asia Regional Computer Conference, 1st, Singapore, 1976. SEARCC 76, 1977
His A multiprocessor operating system, 1984: CIP t.p. (M. Joseph) data sheet (Mathai Joseph; b. 1/2/43)
Tata Institute of Fundamental Research, Bombay, India
著者典拠ID：
DA00978880


1.

図書
図書
1. Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 (: gw ; : us)
M. Joseph (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 331
所蔵情報: 図書館
2.

図書
図書
2. Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings (: gw ; : us)
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: 図書館